Sciweavers

8669 search results - page 1267 / 1734
» Computing matrix representations
Sort
View
WSPI
2004
15 years 6 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
NIPS
2003
15 years 6 months ago
Robustness in Markov Decision Problems with Uncertain Transition Matrices
Optimal solutions to Markov Decision Problems (MDPs) are very sensitive with respect to the state transition probabilities. In many practical problems, the estimation of those pro...
Arnab Nilim, Laurent El Ghaoui
NIPS
2003
15 years 6 months ago
Automatic Annotation of Everyday Movements
This paper describes a system that can annotate a video sequence with: a description of the appearance of each actor; when the actor is in view; and a representation of the actorâ...
Deva Ramanan, David A. Forsyth
AAAI
1998
15 years 6 months ago
Fixpoint 3-Valued Semantics for Autoepistemic Logic
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
AAAI
1998
15 years 6 months ago
Learning to Predict User Operations for Adaptive Scheduling
Mixed-initiativesystemspresent the challengeof finding an effective level of interaction betweenhumans and computers. Machinelearning presents a promising approachto this problemi...
Melinda T. Gervasio, Wayne Iba, Pat Langley
« Prev « First page 1267 / 1734 Last » Next »