Sciweavers

5946 search results - page 820 / 1190
» Visual requirement representation
Sort
View
GRAPHICSINTERFACE
2000
15 years 8 months ago
Incremental Triangle Voxelization
We present a method to incrementally voxelize triangles into a volumetric dataset with pre-filtering, generating an accurate multivalued voxelization. Multivalued voxelization all...
Frank Dachille, Arie E. Kaufman
ICMAS
2000
15 years 8 months ago
CCL: Expressions of Choice in Agent Communication
When shall I fly to New York? Which airline should I choose? How are these related to which airport I arrive at, to how I might travel into the city and to where I choose to stay?...
Steven Willmott, Monique Calisti, Boi Faltings, Sa...
AAAI
1997
15 years 8 months ago
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
Rahul Roy-Chowdhury, Mukesh Dalal
SCM
1998
15 years 8 months ago
Coordinated Editing of Versioned Packages in the JP Programming Environment
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
Michael L. Van de Vanter
ACL
1996
15 years 8 months ago
From Submit to Submitted via Submission: On Lexical Rules in Large-Scale Lexicon Acquisition
This paper deals with the discovery, representation, and use of lexical rules (LRs) during large-scale semi-automatic computational lexicon acquisition. The analysis is based on a...
Evelyne Viegas, Boyan A. Onyshkevych, Victor Raski...