1301 search results - page 91 / 261 » Specifications via Realizability |
152
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
We initiate a novel study of clustering problems. Rather than specifying an explicit objective function to optimize, our framework allows the user of clustering algorithm to speci...
140
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
140
click to vote
ICASSP
2008
IEEE
16 years 24 days ago
2008
IEEE
We describe an experiment where listeners were asked to detect two specific forms of stress in talkers’ recorded voices heard via six different simulated communication systems. ...
195
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...
151
click to vote
AUTONOMICS
2007
ACM
15 years 10 months ago
2007
ACM
The investigation and the development of self-organizing systems are especially needed for operation and control in massively distributed systems such as Sensor and Actor Networks...