2830 search results - page 335 / 566 » No Science without Semantics |
129
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
129
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
129
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stoke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotonou...
129
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
137
click to vote
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...