1699 search results - page 37 / 340 » A timed semantics of Orc |
215
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
165
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
176
click to vote
SEW
2006
IEEE
16 years 20 hour ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
173
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
We use a combination of proven methods from time series analysis and machine learning to explore the relationship between temporal and semantic similarity in web query logs; we di...
148
click to vote
PRDC
2007
IEEE
16 years 8 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...