3053 search results - page 54 / 611 » Structured Objects: Modeling and Reasoning |
146
click to vote
AAAI
2008
15 years 2 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
115
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
Conditional log-linear models are a commonly used method for structured prediction. Efficient learning of parameters in these models is therefore an important problem. This paper ...
127
click to vote
CSL
2000
Springer
15 years 5 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
111
click to vote
ICWSM
2009
14 years 11 months ago
2009
The advent of social tagging systems has enabled a new community-based view of the Web in which objects like images, videos, and Web pages are annotated by thousands of users. Und...
WSC
1998
15 years 2 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...