1941 search results - page 329 / 389 » Reasoning about Computations Using Two-Levels of Logic |
165
click to vote
AAAI
2012
13 years 5 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
147
Voted
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...
160
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
129
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
147
click to vote
ACL
2003
15 years 4 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...