Sciweavers

87 search results - page 14 / 18
» Solving large Steiner Triple Covering Problems
Sort
View
TCAD
1998
86views more  TCAD 1998»
13 years 7 months ago
Fast heuristic and exact algorithms for two-level hazard-free logic minimization
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
Michael Theobald, Steven M. Nowick
CVPR
2008
IEEE
14 years 9 months ago
Correspondence-free multi-camera activity analysis and scene modeling
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. We assume that the topology of camera views is unknown and quite a...
Xiaogang Wang, Kinh Tieu, W. Eric L. Grimson
KCAP
2009
ACM
14 years 2 months ago
Knowledge engineering rediscovered: towards reasoning patterns for the semantic web
The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis of task-types, and the corresponding problem solving methods that can be deployed fo...
Frank van Harmelen, Annette ten Teije, Holger Wach...
DAGSTUHL
1998
13 years 9 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...
MVA
1998
154views Computer Vision» more  MVA 1998»
13 years 9 months ago
Clustering of Learning Images and Generation of Multiple Prototypes for Object Recognition
common features in all learning objects only. The In this paper, we propose two methods of clustering learning images to generate prototypes automatically for object recognition. O...
Jin Jia, Keiichi Abe