2286 search results - page 273 / 458 » Algorithms for Categorical Equivalence |
153
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
152
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Finite-range sensing and communication are factors in the connectivity of a dynamic mobile robot network. State estimation becomes a difficult problem when communicati...
193
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
SPARQL is today the standard access language for Semantic Web data. In the recent years XML databases have also acquired industrial importance due to the widespread applicability o...
158
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
168
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
A frequent problem in density level-set estimation is the choice of the right features that give rise to compact and concise representations of the observed data. We present an e...