Sciweavers

7112 search results - page 166 / 1423
» Power in normative systems
Sort
View
ICAIL
2003
ACM
15 years 11 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
FGR
2004
IEEE
216views Biometrics» more  FGR 2004»
15 years 10 months ago
Multimodal Coordination of Facial Action, Head Rotation, and Eye Motion during Spontaneous Smiles
Both the configuration of facial features and the timing of facial actions are important to emotion and communication. Previous literature has focused on the former. We developed ...
Jeffrey F. Cohn, Lawrence Ian Reed, Tsuyoshi Moriy...
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
16 years 22 days ago
Stochastic Model for Power Grid Dynamics
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
Marian Anghel, Kenneth A. Werley, Adilson E. Motte...
ICTAI
2008
IEEE
16 years 25 days ago
DOG: An Ontology-Powered OSGi Domotic Gateway
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
Dario Bonino, Emiliano Castellina, Fulvio Corno
ATVA
2007
Springer
153views Hardware» more  ATVA 2007»
16 years 18 days ago
Continuous Petri Nets: Expressive Power and Decidability Issues
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
Laura Recalde, Serge Haddad, Manuel Silva