920 search results - page 22 / 184 » How Complex is Discourse Structure |
147
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
121
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
Entity information management (EIM) is a nascent IR research area that investigates the information management process about entities instead of documents. It is motivated by the ...
111
click to vote
IV
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
105
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
115
click to vote
SAS
2010
Springer
15 years 22 days ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...