3073 search results - page 395 / 615 » Real World Verification |
156
click to vote
CSCLP
2007
Springer
16 years 19 days ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
146
click to vote
ECAL
2007
Springer
16 years 19 days ago
2007
Springer
Real organisms live in a world full of uncertain situations and have evolved cognitive mechanisms to cope with problems based on actions and perceptions which are not always reliab...
221
click to vote
ESA
2007
Springer
16 years 19 days ago
2007
Springer
We present an experimental evaluation of an approximate distance oracle recently suggested by Thorup [1] for undirected planar graphs. The oracle uses the existence of graph separa...
167
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
We investigate scalable algorithms for automated composition (WSC) of Semantic Web Services. Our notion of WSC is very general: the composition semantics includes background knowl...
167
click to vote
EUROITV
2007
Springer
16 years 19 days ago
2007
Springer
This paper describes a qualitative user study of mobile phone TV usage undertaken during September 2005 and centered on the real world Mobile TV usage of paying subscribers of live...