462 search results - page 80 / 93 » Characterization-Free Behavioral Power Modeling |
121
click to vote
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
HRI
2006
ACM
15 years 3 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Online social networks offer opportunities to analyze user behavior and social connectivity and leverage resulting insights for effective online advertising. We study the adopti...
FM
2006
Springer
15 years 1 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
79
Voted
FORTE
2001
14 years 10 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...