3335 search results - page 74 / 667 » A Unified Approach to Modeling and Programming |
153
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The development of coherent and dynamic behaviors for mobile robots is an exceedingly complex endeavor ruled by task objectives, environmental dynamics and the interactions within...
176
click to vote
CSCW
2000
ACM
15 years 6 months ago
2000
ACM
Tailoring groupware has to deal with adapting properties of a shared information space as well as with adapting properties of the cooperation support to the group's needs. In...
162
click to vote
RISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
153
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
IEEE 802.11 and Mote devices are today two of the most interesting wireless technologies for ad hoc and sensor networks respectively, and many efforts are currently devoted to und...
147
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listener...