2488 search results - page 448 / 498 » An improvement in formal verification |
100
click to vote
EH
2004
IEEE
15 years 5 months ago
2004
IEEE
Sensor evolution in nature aims at improving the acquisition of information from the environment and is intimately related with selection pressure towards adaptivity and robustnes...
111
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we formalize a general model of cryptanalytic time/memory tradeoffs for the inversion of a random function f : {0, 1, . . . , N - 1} {0, 1, . . . , N - 1}. The model...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...
110
click to vote
ECCV
2006
Springer
15 years 5 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
125
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...