Sciweavers

WOA
2010
13 years 8 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
JSYML
2006
69views more  JSYML 2006»
13 years 10 months ago
The proof-theoretic analysis of transfinitely iterated quasi least fixed points
The starting point of this article is an old question asked by Feferman in his paper on Hancock's conjecture [6] about the strength of ID
Dieter Probst
JUCS
2008
91views more  JUCS 2008»
13 years 10 months ago
The Riemann Integral in Weak Systems of Analysis
: Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce s...
Fernando Ferreira, Gilda Ferreira
AAAI
1996
14 years 5 days ago
Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids
In order to re-use existing models of the environment mobile robots must be able to estimate their position and orientation in such models. Most of the existing methods for positi...
Wolfram Burgard, Dieter Fox, Daniel Hennig, Timo S...
COLT
1993
Springer
14 years 2 months ago
Piecemeal Learning of an Unknown Environment
We introducea new learningproblem: learninga graph by piecemeal search, in which the learner must return every so often to its starting point (for refueling, say). We present two l...
Margrit Betke, Ronald L. Rivest, Mona Singh
VL
1996
IEEE
155views Visual Languages» more  VL 1996»
14 years 3 months ago
The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations
A useful starting point for designing advanced graphical user interfaces is the Visual InformationSeeking Mantra: Overview first, zoom and filter, then details-on-demand. But this...
Ben Shneiderman
JELIA
2004
Springer
14 years 4 months ago
Games for Cognitive Agents
Strategic games model the interaction among simultaneous decisions of agents. The starting point of strategic games is a set of players (agents) having strategies (decisions) and p...
Mehdi Dastani, Leendert W. N. van der Torre
ECSQARU
2005
Springer
14 years 4 months ago
Some Representation and Computational Issues in Social Choice
This paper briefly considers several research issues, some of which are on-going and some others are for further research. The starting point is that many AI topics, especially th...
Jérôme Lang
ROBOCOMM
2007
IEEE
14 years 5 months ago
Minimal energy path planning for wireless robots
—For the first time, the problem of optimizing energy for communication and motion is investigated. We consider a single mobile robot with continuous high bandwidth wireless com...
Chia-Ching Ooi, Christian Schindelhauer
ESA
2009
Springer
139views Algorithms» more  ESA 2009»
14 years 5 months ago
Optimality and Competitiveness of Exploring Polygons by Mobile Robots
Abstract. A mobile robot, represented by a point moving along a polygonal line in the plane, has to explore an unknown polygon and return to the starting point. The robot has a sen...
Jurek Czyzowicz, Arnaud Labourel, Andrzej Pelc