• Publications
  • Influence
Exploiting Multiple Radii to Learn Significant Locations
TLDR
We propose a method to cluster positions measured by cellular phones into significant locations with multiple radii, a specialized form of location context. Expand
  • 17
  • 1
Wikigramming: a wiki-based training environment for programming
TLDR
Wiki is one of the most successful technologies in Web 2.0 because it is so simple. Expand
  • 9
  • 1
Overview of GMW+Wnn system
TLDR
A window system, GMW, and a Japanese inputting system, Wnn, have been developed together to serve as flexible and network-extensible infrastructures for building workstation environments, especially with Japanese languages. Expand
  • 5
  • 1
Overall design of SIMPOS
  • 8
Time-Extraction for Temporal Logic-Logic Programming and Local Process Time
  • T. Hattori
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1 August 1994
TLDR
Time-extraction is applied to the temporal prolog in order to decompose a program into pieces, each of which works in its own time stream. Expand
  • 1
  • PDF
RACCO: A Modal-Logic Programming Language for Writing Models of Real-Time Process-Control Systems: Toward Computer-Aided Generation of Real-Time System Software
TLDR
RACCO is a programming language for modeling and describing real-time process-control systems in order to develop and maintain software rapidly and correctly. Expand
  • 4
Programming constraint system by demonstration
TLDR
The executable constraint system aims to maintain the integrity of structures that users create during an edit session. Expand
  • 2
A Mathematical Framework for Interpreting Playing Environments as Media for Information Flow
This paper proposes a novel strategy of designing play equipments. The strategy introduces two loose constraints as a guideline for designers. The first constraint is “describing unit of playExpand
  • 2
  • PDF
Basic constructs of the SIM operating system
TLDR
SIMPOS is an operating system for a super-personal computer (SIM), based on logic programming language (a modified Prolog, called KL0). Expand
  • 2
...
1
2
3
...