2291 search results - page 403 / 459 » Representational Reasoning and Verification |
127
click to vote
AAAI
2007
15 years 6 months ago
2007
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
154
click to vote
AAAI
2007
15 years 6 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
121
click to vote
NSDI
2007
15 years 6 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
158
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
126
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...