2203 search results - page 333 / 441 » Temporal Abstract Interpretation |
140
click to vote
ISMDA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...
108
click to vote
ISPA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. There exist numerous algorithms that cluster data-points from largescale genomic experiments such as sequencing, gene-expression and proteomics. Such algorithms may emplo...
119
Voted
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce nondeterministic graph searching with a controlled amount of nondeterminism and show how this new tool can be used in algorithm design and combinatorial anal...
94
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
117
Voted
ROBOCUP
2005
Springer
15 years 9 months ago
2005
Springer
Agents in dynamic environments have to deal with world rep- To appear in: RoboCup 2005: Robot Soccer World Cup IX, c Springer-Verlag, 2006 resentations that change over time. In or...