Sciweavers

2657 search results - page 180 / 532
» On the complexity of hierarchical problem solving
Sort
View
JAR
1998
134views more  JAR 1998»
15 years 1 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
3DIM
1997
IEEE
15 years 6 months ago
Multi-Resolution Geometric Fusion
Geometric fusion of multiple sets of overlapping surface measurements is an important problem for complete 3D object or environment modelling. Fusion based on a discrete implicit ...
Adrian Hilton, John Illingworth
ICCV
2009
IEEE
14 years 11 months ago
Fast realistic multi-action recognition using mined dense spatio-temporal features
Within the field of action recognition, features and descriptors are often engineered to be sparse and invariant to transformation. While sparsity makes the problem tractable, it ...
Andrew Gilbert, John Illingworth, Richard Bowden
114
Voted
DS
1997
104views Database» more  DS 1997»
15 years 3 months ago
Managing Constraint Violations in Administrative Information Systems
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. By complex applicat...
I. Boydens, Alain Pirotte, Esteban Zimányi
ICDE
2003
IEEE
135views Database» more  ICDE 2003»
16 years 3 months ago
Discovery of High-Dimensional
Determining relationships such as functional or inclusion dependencies within and across databases is important for many applications in information integration. When such informa...
Andreas Koeller, Elke A. Rundensteiner