28962 search results - page 171 / 5793 » Computational Mechanism Design |
104
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
120
click to vote
MVA
1994
15 years 5 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
136
click to vote
CGF
1999
15 years 4 months ago
1999
Agents in virtual environments require a combination of perception and action to behave in an autonomous way. We extend a software architecture for the management of actions blend...
129
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
141
click to vote
INFOVIS
2005
IEEE
15 years 10 months ago
2005
IEEE
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...