13277 search results - page 2394 / 2656 » An Approach to Clustering Abstracts |
197
click to vote
ENTCS
2010
15 years 7 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
224
click to vote
AHSWN
2006
15 years 7 months ago
2006
Abstract-- We present a new, biologically-inspired algorithm for the problem of covering a given region with wireless "units" (sensors or base-stations). The general prob...
212
click to vote
ENTCS
2008
15 years 7 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
188
click to vote
EOR
2008
15 years 7 months ago
2008
Abstract. Many hospitals in the Netherlands are confronted with capacity problems at their Intensive Care Units (ICUs) resulting in cancelling operations, overloading the staff wit...
218
click to vote
BC
2006
15 years 7 months ago
2006
Abstract In natural images, the distance measure between two images taken at different locations rises smoothly with increasing distance between the locations. This fact can be exp...