2364 search results - page 402 / 473 » On O-Minimal Hybrid Systems |
108
click to vote
VISSYM
2007
15 years 2 months ago
2007
Many authors in the field of 3D human computer interaction have described the advantages of 3D user interfaces: Intuitive metaphors from daily life, immersive workspaces, virtual ...
120
click to vote
AAAI
2007
15 years 2 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
121
click to vote
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
106
click to vote
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
108
click to vote
ACISP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...