Sciweavers

9015 search results - page 1544 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
IMC
2007
ACM
15 years 8 months ago
Acyclic type-of-relationship problems on the internet: an experimental analysis
An experimental study of the feasibility and accuracy of the acyclicity approach introduced in [14] for the inference of business relationships among autonomous systems (ASes) is ...
Benjamin Hummel, Sven Kosub
CHI
2004
ACM
16 years 7 months ago
Categorical imperative NOT: facial affect is perceived continuously
Facial affect (or emotion) recognition is a central issue for many VMC and naturalistic computing applications. Most computational models assume "categorical perception"...
Diane J. Schiano, Sheryl M. Ehrlich, Kyle Sheridan
SACMAT
2009
ACM
16 years 1 months ago
Ensuring spatio-temporal access control for real-world applications
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anas...
MHCI
2009
Springer
15 years 11 months ago
Glancephone: an exploration of human expression
In this paper, we describe the design and ethnographic study of a phone developed so as to allow people to glance at each other, rather than simply message or voice call. Glanceph...
Richard H. R. Harper, Stuart Taylor
« Prev « First page 1544 / 1803 Last » Next »