4753 search results - page 600 / 951 » Natural Modelling of Interactive Applications |
123
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
130
click to vote
NIPS
2003
15 years 5 months ago
2003
Many real-world domains are relational in nature, consisting of a set of objects related to each other in complex ways. This paper focuses on predicting the existence and the type...
130
click to vote
WOA
2007
15 years 5 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...
146
Voted
AEI
2008
15 years 4 months ago
2008
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...
109
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...