503 search results - page 49 / 101 » Using The Same System For Analyzing And Synthesizing Sentenc... |
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
CIMCA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we propose a novel method for automatic evaluation of conversational agents. The method is based on analyzing the user’s affect conveyed in utterances. From analyz...
FUIN
2002
14 years 9 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
106
click to vote
CMG
2003
14 years 11 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...