661 search results - page 102 / 133 » Combining Information using Hard Constraints |
148
click to vote
AAAI
1990
15 years 5 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
113
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
135
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
180
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Mobile phones are becoming a convergent platform for sensing, computation, and communication. This paper envisions VUPoints, a collaborative sensing and video-recording system tha...
131
Voted
MM
2010
ACM
15 years 4 months ago
2010
ACM
The size of personal music collections has constantly increased over the past years. As a result, the traditional metadata based lists to browse these collections have reached the...