1459 search results - page 203 / 292 » An authorization model for temporal data |
207
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
159
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
182
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
152
click to vote
LMCS
2007
15 years 6 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
148
click to vote
ASIAMS
2008
IEEE
16 years 26 days ago
2008
IEEE
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...