Sciweavers

963 search results - page 26 / 193
» $M$-Solid Varieties of Languages
Sort
View
ICALP
2011
Springer
13 years 1 months ago
On the Semantics of Markov Automata
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
Yuxin Deng, Matthew Hennessy
ICFP
1999
ACM
14 years 2 months ago
Flexible Type Analysis
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
Karl Crary, Stephanie Weirich
IFIP
1998
Springer
14 years 2 months ago
Guiding Agent Learning in Design
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
Dan L. Grecu, David C. Brown
JAVA
2000
Springer
14 years 1 months ago
Generating Java trace data
We describe a system for gathering and analyzing Java trace data. The system provides relatively complete data collection from large Java systems. It also provides a variety of di...
Steven P. Reiss, Manos Renieris
COLING
2000
13 years 11 months ago
Realizing Expressions of Doubt in Collaborative Dialogue
One way to 1)egin a negotiation subdialogue is to express doubt at a proposition. However, expressions of doubt occur in a variety of forms, each of which conveys information abou...
Leah Schroeder, Sandra Carberry