315 search results - page 55 / 63 » A generic type system for the Pi-calculus |
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
KCAP
2003
ACM
14 years 1 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
CONEXT
2007
ACM
13 years 9 months ago
2007
ACM
Network intrusion detection systems typically detect worms by examining packet or flow logs for known signatures. Not only does this approach mean worms cannot be detected until ...
ANLP
1992
13 years 9 months ago
1992
We present a localisation component that supports the generation of cross-modal deictic expressions in the knowledge-based presentation system WIP. We deal with relative localisat...
TASLP
2002
13 years 7 months ago
2002
In this paper, we propose a robust compensation strategy to deal effectively with extraneous acoustic variations for spontaneous speech recognition. This strategy extends speaker a...