2291 search results - page 183 / 459 » Representational Reasoning and Verification |
180
click to vote
HCI
2001
15 years 8 months ago
2001
s, covering different levels of abstraction over the information exchanged. As the protocol is layered, we can discuss interaction in terms of different levels of granularity, bett...
181
click to vote
KRMED
2004
15 years 8 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
147
click to vote
MVA
1994
15 years 7 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
183
click to vote
NAACL
1994
15 years 7 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...
167
click to vote
FLAIRS
2009
15 years 4 months ago
2009
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...