935 search results - page 86 / 187 » A Framework for Obfuscated Interpretation |
127
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
152
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
161
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
127
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—While medical imaging typically provides massive amounts of data, the extraction of relevant information for predictive diagnosis remains a difficult challenge. Functional MRI ...
120
click to vote
PODC
2011
ACM
14 years 7 months ago
2011
ACM
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...