3360 search results - page 511 / 672 » Opportunistic Data Structures with Applications |
138
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
113
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
146
click to vote
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
130
Voted
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
There are many applications that can benefit from the simultaneous display of multiple layers of data. The objective in these cases is to render the layered surfaces in a such way...
155
Voted
AAAI
2008
15 years 6 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...