2542 search results - page 131 / 509 » An Operational Definition of Context |
195
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
155
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This paper introduces SmartPad, a new input device for mobile computers that is an enhanced physical keypad by a finger position sensor. This input device acts as a normal keypad ...
297
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
184
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
181
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
This paper proposes a multiagent based virtual community as a new means to support pervasive computing services. We give a conceptual definition of the concept of Place-Based Virt...