428 search results - page 25 / 86 » Completeness of a Fact Extractor |
135
click to vote
FOSSACS
2005
Springer
15 years 10 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...
117
click to vote
FSTTCS
2005
Springer
15 years 10 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...
123
click to vote
IVA
2005
Springer
15 years 10 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...
132
click to vote
CIS
2004
Springer
15 years 10 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...
117
click to vote
FMCAD
2004
Springer
15 years 10 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...