Sciweavers

1798 search results - page 27 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
SARA
2007
Springer
14 years 3 months ago
Generating Implied Boolean Constraints Via Singleton Consistency
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
Roman Barták
IPMI
1999
Springer
14 years 1 months ago
Model Generation from Multiple Volumes Using Constrained Elastic SurfaceNets
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...
Michael E. Leventon, Sarah F. Frisken Gibson
LREC
2010
225views Education» more  LREC 2010»
13 years 10 months ago
C-3: Coherence and Coreference Corpus
The phenomenon of coreference, covering entities, their mentions and their properties, is intricately linked to the phenomenon of coherence, covering the structure of rhetorical r...
Cristina Nicolae, Gabriel Nicolae, Kirk Roberts
AMAST
2004
Springer
14 years 2 months ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns
ECAI
2004
Springer
14 years 2 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price