7109 search results - page 1295 / 1422 » Process Algebra with Combinators |
146
click to vote
NAR
2007
15 years 4 months ago
2007
To provide an integrated bioinformatics platform for a systems biology approach to the biology of pseudomonads in infection and biotechnology the database SYSTOMONAS (SYSTems biol...
149
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
We present a method for automated topic suggestion. Given a plain-text input document, our algorithm produces a ranking of novel topics that could enrich the input document in a m...
147
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— While the most accurate solution to off-line structure from motion (SFM) problems is undoubtedly to extract as much correspondence information as possible and perform g...
166
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
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 ...
142
click to vote
IJWBC
2010
15 years 3 months ago
2010
Learning Communities in healthcare is one approach in supporting practitioners and nurses to improve skills and knowledge and consequently support patients more efficiently. Web b...