396 search results - page 50 / 80 » Combining decision procedures for the reals |
110
click to vote
SIGCOMM
2006
ACM
15 years 7 months ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
145
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...
131
click to vote
JUCS
2008
15 years 1 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
146
click to vote
SIGGRAPH
1996
ACM
15 years 5 months ago
1996
ACM
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
112
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...