989 search results - page 136 / 198 » HowNet and Its Computation of Meaning |
107
click to vote
ISBI
2006
IEEE
16 years 17 days ago
2006
IEEE
We describe a method designed to detect fluorescent rods from 2D microscopy images. It is motivated by the desire to study the dynamics of bacteria such as Shigella. The methodolo...
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
177
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) la...
106
click to vote
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed systems increasingly span organizational boundaries and, with this, system and service management domains. Web services are the primary means of exposing services to c...