4767 search results - page 346 / 954 » Structures for Abstract Rewriting |
169
click to vote
PRIMA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
175
click to vote
SAMT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...
199
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
192
click to vote
SCALESPACE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
150
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...