4250 search results - page 751 / 850 » Understanding the Requirements on Modelling Techniques |
132
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
113
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
149
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Humans rely on information-laden high-frequency accelerations in addition to quasi-static forces when interacting with objects via a handheld tool. Telerobotic systems have tra...
124
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
138
click to vote
INFOSCALE
2006
ACM
15 years 10 months ago
2006
ACM
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...