428 search results - page 25 / 86 » Completeness of a Fact Extractor |
FOSSACS
2005
Springer
15 years 3 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...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
IVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
81
Voted
CIS
2004
Springer
15 years 2 months ago
2004
Springer
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...