4616 search results - page 763 / 924 » The Communication Complexity of Correlation |
225
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
204
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
178
click to vote
IWPEC
2004
Springer
16 years 15 days ago
2004
Springer
Consider the following problem, that we call “Chordless Path through Three Vertices” or CP3V, for short: Given a simple undirected graph G = (V, E), a positive integer k, and t...
191
click to vote
KI
2004
Springer
16 years 15 days ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
212
click to vote
MATA
2004
Springer
16 years 15 days ago
2004
Springer
Mobile solutions have gone beyond the role of personal tool to offer solutions in supporting coordinated work. Mobile workers shift constantly from individual to group work, access...