Sciweavers

4126 search results - page 57 / 826
» Relationships with other Formalisms
Sort
View
AI
2005
Springer
14 years 11 months ago
A theoretical framework on proactive information exchange in agent teamwork
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
Xiaocong Fan, John Yen, Richard A. Volz
GRC
2005
IEEE
15 years 5 months ago
Temporal granular logic for temporal data mining
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
Paul Cotofrei, Kilian Stoffel
TIME
1999
IEEE
15 years 4 months ago
Symbolic Representation of User-Defined Time Granularities
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
Claudio Bettini, Roberto De Sibi
ICFP
2007
ACM
15 years 12 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
ACSD
2006
IEEE
154views Hardware» more  ACSD 2006»
15 years 6 months ago
Concurrency in Distributed Systems under Autonomous and Enforced Actions
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, El...