Sciweavers

9730 search results - page 302 / 1946
» Relating models of backtracking
Sort
View
PODS
2002
ACM
136views Database» more  PODS 2002»
16 years 5 months ago
Models and Issues in Data Stream Systems
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...
Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev ...
MFCS
2009
Springer
15 years 11 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow
HICSS
2006
IEEE
126views Biometrics» more  HICSS 2006»
15 years 11 months ago
A Model for Temporal Interval Authorizations
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
Francis B. Afinidad, Timothy E. Levin, Cynthia E. ...
132
Voted
ICARCV
2006
IEEE
128views Robotics» more  ICARCV 2006»
15 years 11 months ago
Modeling Supply Chain Configuration Based on Colored Petri Nets
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
Lianfeng Zhang, Xiao You, Jianxin Jiao, Petri Helo
ACII
2005
Springer
15 years 10 months ago
Generalization of a Vision-Based Computational Model of Mind-Reading
This paper describes a vision-based computational model of mind-reading that infers complex mental states from head and facial expressions in real-time. The generalization ability ...
Rana El Kaliouby, Peter Robinson