Sciweavers

1127 search results - page 118 / 226
» Theory Extension in ACL2(r)
Sort
View
IJCV
1998
135views more  IJCV 1998»
15 years 6 months ago
A Multibody Factorization Method for Independently Moving Objects
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
João Paulo Costeira, Takeo Kanade
IJMMS
1998
137views more  IJMMS 1998»
15 years 6 months ago
A context model for knowledge-intensive case-based reasoning
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
Pinar Öztürk, Agnar Aamodt
NN
2002
Springer
137views Neural Networks» more  NN 2002»
15 years 6 months ago
Acetylcholine in cortical inference
Acetylcholine (ACh) plays an important role in a wide variety of cognitive tasks, such as perception, selective attention, associative learning, and memory. Extensive experimental...
Angela J. Yu, Peter Dayan
QUESTA
1998
93views more  QUESTA 1998»
15 years 6 months ago
An approximation method for complete solutions of Markov-modulated fluid models
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
David D. McDonald, Kun Qian
SCP
2002
112views more  SCP 2002»
15 years 6 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...