827 search results - page 150 / 166 » Patterns for Timed Property Specifications |
149
click to vote
PRESENCE
2006
15 years 1 months ago
2006
The generation of multimodal virtual environments for surgical training is complicated by the necessity to develop heterogeneous simulation scenarios such as surgical incision, ca...
128
Voted
WINET
2002
15 years 1 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
127
click to vote
SAT
2010
Springer
15 years 8 days ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
97
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
A new segmented compressed sampling (CS) method for analog-to-information conversion (AIC) is proposed. An analog signal measured by a number of parallel branches of mixers and int...
164
Voted
ACMSE
2008
ACM
15 years 3 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...