2293 search results - page 370 / 459 » Temporal Logic in Information Systems |
HICSS
2009
IEEE
15 years 4 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, ...
122
click to vote
SEMCO
2009
IEEE
15 years 4 months 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 ...
IROS
2009
IEEE
15 years 4 months 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...
DAGM
2009
Springer
15 years 4 months 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...
DOCENG
2009
ACM
15 years 4 months 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...