Time filter

Source Type

Grenoble, France

Faur C.,CNRS LIMSI | Clavel C.,CNRS LIMSI | Pesty S.,LIG | Martin J.-C.,CNRS LIMSI
Proceedings - 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, ACII 2013 | Year: 2013

Consistency and coherence in behaviors are key concepts for creating believable virtual agents. Personality is described by psychology as a set of stable and individualized behaviors. Thus, endowing agents with a personality can help agents to exhibit consistent behaviors. In this paper, we suggest using a socio-cognitive perspective to build a model of personality for virtual agents and to highlight some of the personality structures and processes. Because many researchers in personality psychology emphasize the role of the self in personality, we propose PERSEED, a conceptual model of personality that is based on self-regulation theories. © 2013 IEEE. Source

Bensaid H.,INPT | Peltier N.,LIG
Journal of Automated Reasoning | Year: 2014

The superposition calculus (Bachmair and Ganzinger, J. Log Comput. 3(4), 217–247, 1994; Nieuwenhuis and Rubio 1994) is the state-of-the-art inference system used in saturation-based theorem proving for first-order logic with equality.We present an extension of this calculus that permits us to reason on formulae built on primal grammars (Hermann and Galbavý, Theor. Comput. Sci. 176(1–2), 111–158, 1997) a schematization language that has been devised to denote infinite sequences of structurally similar terms, defined by primitive recursion. We prove that the calculus is sound and refutationally complete. © 2014, Springer Science+Business Media Dordrecht. Source

Ayache S.,Aix - Marseille University | Quenot G.,French National Center for Scientific Research | Tseng A.,LIG
MIR 2010 - Proceedings of the 2010 ACM SIGMM International Conference on Multimedia Information Retrieval | Year: 2010

The LIGVID system is designed for online interactive video shots retrieval and annotation. It uses a user-controlled combination of multiple criteria: keywords, phonetic string, similarity to example images, semantic categories, and relevance feedback strategies: visual and temporal similarity to already identified positive images. In addition to Relevance Feedback processes, the system runs in background an active learning algorithm to better model the user's information need. Previous participation to video retrieval challenges has permit to show the effectiveness of our system. Copyright 2010 ACM. Source

Ben Saad L.,INSA Lyon | Tourancheau B.,LIG
2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops | Year: 2012

Extending the lifetime of wireless sensor networks under energy resource limitations of the sensors is a challenging problem. To reach this goal, we propose, in this paper, an address allocation scheme that maximizes the correlation in addresses. This correlation is then exploited by the sensors to reduce the size of their packets transmitted to the sink by applying source coding on addresses. The proposed approach was formulated as an optimization problem that maximizes the network lifetime. The simulation results show that a significant network lifetime improvement can be achieved by using this solution. © 2012 IEEE. Source

Cano J.,French Institute for Research in Computer Science and Automation | Delaval G.,LIG | Rutten E.,French Institute for Research in Computer Science and Automation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2014

Event-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers. © 2014 IFIP International Federation for Information Processing. Source

Discover hidden collaborations