Sciweavers

1943 search results - page 112 / 389
» Ordering Default Theories
Sort
View
CI
2007
45views more  CI 2007»
14 years 12 months ago
Market-Based Approaches to Optimization
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...
Maria Karlsson, Fredrik Ygge, Arne Andersson
CVPR
2008
IEEE
16 years 1 months ago
Robust null space representation and sampling for view-invariant motion trajectory analysis
In this paper, we propose a novel robust retrieval and classification system for video and motion events based on null space representation. In order to analyze the robustness of ...
Xu Chen, Dan Schonfeld, Ashfaq A. Khokhar
LICS
2002
IEEE
15 years 4 months ago
The Proof Complexity of Linear Algebra
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
Michael Soltys, Stephen A. Cook
WSC
2004
15 years 1 months ago
Peeking Into the Black Box: Some Art and Science to Visualizing Agent-Based Models
This paper explores current metaphors for visualizing agent-based models. Metaphors include grid, network, ndimensional cubes and landscape visualization techniques. A final secti...
Stephen M. Guerin
CORR
2006
Springer
121views Education» more  CORR 2006»
14 years 12 months ago
Elgot Algebras
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
Jirí Adámek, Stefan Milius, Jiri Vel...