Sciweavers

4595 search results - page 673 / 919
» Reasoning about Plans
Sort
View
135
Voted
PSYCHNOLOGY
2006
70views more  PSYCHNOLOGY 2006»
15 years 4 months ago
Navigating Information Space: Web site design and lessons from the built environment
The Web is the archetypal information space but even on a well designed site it can be difficult to find all the information you need. It is impossible to design a site so that al...
David Benyon
BMCBI
2004
149views more  BMCBI 2004»
15 years 4 months ago
MiCoViTo: a tool for gene-centric comparison and visualization of yeast transcriptome states
Background: Information obtained by DNA microarray technology gives a rough snapshot of the transcriptome state, i.e., the expression level of all the genes expressed in a cell po...
Gaëlle Lelandais, Philippe Marc, Pierre Vince...
COMPUTER
2002
91views more  COMPUTER 2002»
15 years 4 months ago
Representative Democracy and the Profession
the term refers in an abstract way to a process or institution under which government openly solicits, preserves, and fosters information about its citizens' interests. At the...
W. Neville Holmes
TROB
2002
149views more  TROB 2002»
15 years 3 months ago
LOST: localization-space trails for robot teams
Abstract-We describe Localization-Space Trails (LOST), a method that enables a team of robots to navigate between places of interest in an initially unknown environment using a tra...
Richard T. Vaughan, Kasper Støy, Gaurav S. ...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 2 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier