Sciweavers

2059 search results - page 266 / 412
» An adaptive system developer's tool-kit
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
High Dynamic Range Camera using Reflective Liquid Crystal
High Dynamic Range Images (HDRIs) are needed for capturing scenes that include drastic lighting changes. This paper presents a method to improve the dynamic range of a camera by u...
Hidetoshi Mannami, Ryusuke Sagawa, Yasuhiro Mukaig...
ICCV
1999
IEEE
16 years 8 months ago
Recognition of Multi-Agent Interaction in Video Surveillance
This paper describes a probabilistic syntactic approach to the detection and recognition of temporally extended activities and interactions between multiple agents. A complete sys...
Yuri A. Ivanov, Aaron F. Bobick
FROCOS
2009
Springer
16 years 1 months ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
Stéphane Lescuyer, Sylvain Conchon
ICTIR
2009
Springer
16 years 1 months ago
A Four-Factor User Interaction Model for Content-Based Image Retrieval
In order to bridge the “Semantic gap”, a number of relevance feedback (RF) mechanisms have been applied to content-based image retrieval (CBIR). However current RF techniques i...
Haiming Liu 0002, Victoria S. Uren, Dawei Song, St...
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 1 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...