20441 search results - page 476 / 4089 » Locally Computable Structures |
169
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
209
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
158
click to vote
SIGIR
1993
ACM
15 years 11 months ago
1993
ACM
We argue that the advent of large volumes of full-length text, as opposed to short texts tracts and newswire, should be accompanied by corresponding new approaches to information ...
189
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a deformable model for automatically segmenting objects from volumetric MR images and obtaining point correspondences, using geometric and statistical informati...
166
click to vote
ANLP
1997
15 years 8 months ago
1997
We present a tool developed for annotating corpora with argument structure representations. The presentation focuses on the architecture of the annotation scheme and a number of t...