683 search results - page 8 / 137 » Four Types of Lookback |
119
click to vote
AISC
2010
Springer
15 years 1 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
COLING
1990
14 years 10 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
HCI
2007
14 years 11 months ago
2007
In this paper, we focus on the method to explore a different type of auditory progress bar by analyzing the characteristics of the visual progress bar and contexts of auditory appl...
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
It is a challenging problem to find agents’ rational strategies in bargaining with incomplete information. In this paper we perform a game theoretic analysis of agents’ ratio...