1664 search results - page 74 / 333 » Towards Partial Reasoning |
89
Voted
LDVF
2000
15 years 14 days ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
115
click to vote
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
— This paper presents new algorithms for dynamic routing of restorable bandwidth guaranteed paths. Dynamic routing implies routing of requests that arrive one-by-one with no a pr...
120
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
86
Voted
ICAIL
2009
ACM
15 years 7 months ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...
102
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...