MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Situated Simplification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Situated Simplification
by Andreas Podelski, Im Stadtwald, Gert Smolka — 1995 — In Principles and Practice of Constraint Programming --- CP'95, number 976 in Lecture Notes in Computer Science
…Situated Simplification Andreas Podelski Max-Planck-Institut Informatik Im Stadtwald D-66123…
Cited by 7 (1 self) – Add To MetaCart

Simplification Of Teleo-Reactive Sequences
by Seyed Mousavi Krysia, Seyed R. Mousavi, Krysia Broda — 2003
…. The length of t is defined as l(t)= ∑l ( s) . s is a situation in t The simplification problem. Let t be a TR…
Add To MetaCart

Reconciling Finite Domains And Constrained Sorts
by Denys Duchier — 1995
… or situated simplification [5, 6]. x in E?x can be viewed as a status of necessity associated with the store…
Add To MetaCart

Comparison of methods for the simplification of mesh models of the lungs using quality indices
by Beatriz Sousa Santos, Samuel Silva, Carlos Ferreira, Joaquim Madeira — 2005 — in 3rd International Conference on Medical Information Visualization - Biomedical Visualization (MediVis’05
…, then, progressively refine it. In these situations, simplification methods can be used to generate…
Cited by 3 (1 self) – Add To MetaCart

Extract-based Summarization with Simplification
by Partha Lal, Stefan Rüger — 2002 — In DUC 2002: Workshop on Text Summarization, July 11–12, 2002
…Extract-based Summarization with Simplification Partha Lal and Stefan Riiger Dept of Computing…
Cited by 5 (0 self) – Add To MetaCart

Collision Detection by Four-Dimensional Intersection Testing
by Stephen Cameron — 1990 — IEEE Transactions on Robotics and Automation
…] gives examples of such heuristics in a three-dimensional situation. The simplification strategy is based…
Cited by 72 (1 self) – Add To MetaCart

JVM Susceptibility to Memory Errors
by Deqing Chen, Alan Messer, Philippe Bernadat, Guangrui Fu, Zoran Dimitrijevic, David Jeun Fung Lie, Durga Mannaru, Alma Riska, Dejan Milojicic — 2001 — Submitted for the USENIX Java Virtual Machine Research and Technology Symposium
… by the execution in a real situation. For simplification, in this paper, we assume a memory error persists until…
Cited by 5 (1 self) – Add To MetaCart

Molecular Replicator Dynamics
by B Arbel M. R. Stadler, B Arbel, Peter F. Stadler, Peter F. Stadler — 2002
… situation. This simplification is motivated by the equivalence of the two models for the special case…
Cited by 4 (0 self) – Add To MetaCart

An Octree Isosurface Codification Based On Discrete Planes
by Imma Boada, Isabel Navazo, Imma Boada Iiia, Isabel Navazo Upc — 2001
… situation, simplifications of almost 50% on the number of polygons. The main advantages of this codification…
Cited by 2 (1 self) – Add To MetaCart

Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model
by Re Denis, Guillaume Pitel, Matthieu Quignard, Patrick Blackburn
… the situation. This simplification is based on the collaborative dialogue hypothesis. • In the version…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB