Sciweavers

2714 search results - page 141 / 543
» On the Notion of Value Object
Sort
View
SYNTHESE
2008
71views more  SYNTHESE 2008»
15 years 6 months ago
Categories for the working mathematician: making the impossible possible
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
Jessica Carter
MA
2000
Springer
135views Communications» more  MA 2000»
15 years 10 months ago
Principles of Mobile Maude
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
Francisco Durán, Steven Eker, Patrick Linco...
VRCAI
2009
ACM
16 years 27 days ago
Collision-free travel with terrain maps
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...
Andrei Sherstyuk, Anton Treskunov
WINE
2007
Springer
150views Economy» more  WINE 2007»
16 years 15 days ago
Maximizing Revenue in Sequential Auctions
We study sequential auctions for private value objects and unit-demand bidders using second-price sealed-bid rules. We analyze this scenario from the seller’s perspective and con...
Edith Elkind, S. Shaheen Fatima
IUI
2005
ACM
15 years 12 months ago
User intentions funneled through a human-robot interface
We describe a method for predicting user intentions as part of a human-robot interface. In particular, we show that funnels, i.e., geometric objects that partition the input space...
Michael T. Rosenstein, Andrew H. Fagg, Shichao Ou,...