1115 search results - page 151 / 223 » An Abstract Look at Realizability |
120
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Privacy requirements have an increasing impact on the realization of modern applications. Technical considerations and many significant commercial and legal regulations ...
158
click to vote
EUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
161
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
142
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
146
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Privacy issues are a major burden for the acceptance of pervasive applications. They may ultimately result in the rejection of new services despite their functional bene...