1626 search results - page 124 / 326 » Computing the Types of the Relationships between Autonomous ... |
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
FORTE
2001
13 years 10 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
SIGDIAL
2010
13 years 6 months ago
2010
The purpose of this study is to get a working definition that matches people's intuitive notion of gossip and is sufficiently precise for computational implementation. We con...
ICASSP
2011
IEEE
13 years 19 days ago
2011
IEEE
The detection of Steady-State Visual Evoked Potential (SSVEP) responses in the Electroencephalogram (EEG) is a current challenge in signal processing applied on Brain-Computer Int...
ICLP
2001
Springer
14 years 1 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...