7519 search results - page 282 / 1504 » Optimizing Generic Functions |
180
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
124
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
As part of the European PROLIX (Process Oriented Learning and Information eXchange) project, VUB STARLab designed a generic ontologybased data matching framework (ODMF). Within the...
190
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
185
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
144
click to vote
SOFSEM
2005
Springer
16 years 1 days ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...