6167 search results - page 986 / 1234 » Can Refinement be Automated |
68
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents an information-driven online video composition system. The composition work handled by the system includes dynamically setting multiple pan/tilt/zoom (PTZ) cam...
117
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
115
click to vote
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
102
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...