2293 search results - page 313 / 459 » Temporal Logic in Information Systems |
182
click to vote
SODA
1997
ACM
15 years 7 months ago
1997
ACM
Given a collection S of n line segments in the plane, the planar point location problem is to construct a data structure that can e ciently determine for a given query point p the...
149
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Television broadcasters are beginning to combine social micro-blogging systems such as Twitter with television to create social video experiences around events. We looked at one s...
235
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
170
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
163
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...