6829 search results - page 330 / 1366 » Quantitative Generalizations of Languages |
169
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
158
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe a system that generates synthesized web pages as a travel guide through integrating a discourse planner with a document retrieval system. We then present ...
172
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
167
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
174
click to vote
OOGRAPHICS
1994
15 years 10 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...