2293 search results - page 370 / 459 » Temporal Logic in Information Systems |
126
click to vote
HICSS
2009
IEEE
16 years 29 days 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, ...
203
Voted
SEMCO
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
160
Voted
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
178
click to vote
DAGM
2009
Springer
16 years 22 days ago
2009
Springer
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...
147
click to vote
DOCENG
2009
ACM
16 years 20 days ago
2009
ACM
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...