7311 search results - page 244 / 1463 » Time in State Machines |
207
click to vote
IFM
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
211
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
A central problem in artificial intelligence is to choose actions to maximize reward in a partially observable, uncertain environment. To do so, we must learn an accurate model of ...
200
click to vote
AIR
2006
15 years 7 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
212
click to vote
BMCBI
2005
2005
Phylogenetic reconstruction of ancestral character states for gene expression and mRNA splicing data
15 years 7 months ago
Background: As genomes evolve after speciation, gene content, coding sequence, gene expression, and splicing all diverge with time from ancestors with close relatives. A minimum e...
205
click to vote
JLBS
2007
15 years 7 months ago
2007
: The topics presented in this paper regard the project “Data Optimisation for integrated Telematics” (Do-iT) granted by the German ministry of economics and technology. Within...