2150 search results - page 200 / 430 » On a restricted cross-intersection problem |
121
click to vote
CGF
2005
15 years 4 months ago
2005
This paper discusses the problem of visualizing data where there are underlying constraints that must be preserved. For example, we may know that the data are inherently positive....
116
click to vote
ACTA
2004
15 years 4 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
129
Voted
AI
2002
Springer
15 years 4 months ago
2002
Springer
Independence--the study of what is relevant to a given problem of reasoning--is an important AI topic. In this paper, we investigate several notions of conditional independence in...
117
Voted
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
149
click to vote
GRAMMARS
2000
15 years 4 months ago
2000
In this paper we argue for a reconceptualization of the Tree Adjoining Grammar (TAG) formalism, in which the elementary structures are collections of c-command relations, and the ...