Sciweavers

2111 search results - page 300 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 5 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
3DPVT
2006
IEEE
211views Visualization» more  3DPVT 2006»
15 years 10 months ago
Integrating LiDAR, Aerial Image and Ground Images for Complete Urban Building Modeling
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
Jinhui Hu, Suya You, Ulrich Neumann
ECCV
2010
Springer
15 years 6 months ago
Inter-Camera Association of Multi-Target Tracks by On-line Learned Appearance Affinity Models
We propose a novel system for associating multi-target tracks across multiple non-overlapping cameras by an on-line learned discriminative appearance affinity model. Collecting rel...
HAIS
2010
Springer
15 years 6 months ago
Fusion of Fuzzy Spatial Relations
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
Nadeem Salamat, El-hadi Zahzah
164
Voted
ACL
2010
15 years 2 months ago
Generating Focused Topic-Specific Sentiment Lexicons
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...
Valentin Jijkoun, Maarten de Rijke, Wouter Weerkam...