2409 search results - page 273 / 482 » Logical systems for structured specifications |
130
Voted
GRAPHICSINTERFACE
2007
15 years 5 months ago
2007
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
191
click to vote
WEBNET
2001
15 years 5 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
123
click to vote
NC
2006
15 years 4 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
114
click to vote
ITIIS
2010
15 years 2 months ago
2010
The low-rate (LR) UWB is a promising technology for the ubiquitous sensor network (USN) due to its extremely low power consumption and simple transceiver implementation. However t...
120
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...