Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
We describe our research--its approach, results and products--on Danish emergency medical service (EMS) field or "pre-hospital" work in minor and major incidents. We dis...
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
While pervasive technologies explore new gaming styles, traditional games, such as cards and tabletop games are still appealing and have various irreplaceable flavors. We point ou...