3028 search results - page 359 / 606 » Integrating Temporal Logics |
134
Voted
VC
2010
15 years 5 months ago
2010
Abstract In this article we show, how temporal backdrops that alternately change their color rapidly at recording rate can aid chroma keying by transforming color spill into a neut...
193
click to vote
AAAI
2010
15 years 1 months ago
2010
Objects in freely-drawn sketches often have no spatial or temporal separation, making object recognition difficult. We present a two-step stroke-grouping algorithm that first clas...
131
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The increased fluidity and agility of organizations demand the smooth mediation of information technology (IT) between user and task. As rigid hierarchies are giving way to open, ...
208
click to vote
NIPS
1992
15 years 7 months ago
1992
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
173
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...