1036 search results - page 37 / 208 » Report on INEX 2009 |
161
click to vote
CMSB
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
141
click to vote
DGCI
2009
Springer
16 years 25 days ago
2009
Springer
In this report, we propose a new definition of the E2 DT (Squared Euclidean Distance Transformation) on irregular isothetic grids. We describe a new separable algorithm to compute...
167
click to vote
ERCIMDL
2009
Springer
16 years 24 days ago
2009
Springer
This paper explores how people read books online. Instead of observing individuals, we analyze usage of an online digital library of children’s books (the International Children...
264
click to vote
ERSHOV
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
144
click to vote
ESWS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. This demo proposal aims at providing support for the localization of ontologies, and as a result at obtaining multilingual ontologies. We briefly present an advanced ver...