4761 search results - page 713 / 953 » Generalizing Boundary Points |
118
click to vote
ICMI
2004
Springer
15 years 10 months ago
2004
Springer
This work explores the properties of different output modalities as notification mechanisms in the context of messaging. In particular, the olfactory (smell) modality is introdu...
138
click to vote
IPSN
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
134
Voted
JCDCG
2004
Springer
15 years 10 months ago
2004
Springer
We prove that all single-vertex origami shapes are reachable from the open flat state via simple, non-crossing motions. We also consider conical paper, where the total sum of the ...
KR
2004
Springer
15 years 10 months ago
2004
Springer
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
143
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...