Sciweavers

680 search results - page 28 / 136
» Modeling plant structures using concept sketches
Sort
View
95
Voted
LPAR
2010
Springer
14 years 11 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen
ENVSOFT
2008
78views more  ENVSOFT 2008»
15 years 19 days ago
A general water supply planning model: Evaluation of decentralized treatment
Increasing population, diminishing supplies and variable climatic conditions can cause difficulties in meeting water demands; especially in arid regions where water resources are ...
G. Chung, K. Lansey, P. Blowers, P. Brooks, W. Ela...
CGF
1999
125views more  CGF 1999»
15 years 7 days ago
Partitioning and Handling Massive Models for Interactive Collision Detection
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
Andy Wilson, Eric Larsen, Dinesh Manocha, Ming C. ...
DEXAW
1999
IEEE
103views Database» more  DEXAW 1999»
15 years 4 months ago
Applying Temporal Databases to Geographical Data Analysis
This paper reports an experience in which a temporal database was used to analyze the results of a survey on human behaviors and displacements in a ski resort. This survey was par...
Marie-Christine Fauvet, S. Chardonnel, Marlon Duma...
TKDE
2011
280views more  TKDE 2011»
14 years 7 months ago
Locally Consistent Concept Factorization for Document Clustering
—Previous studies have demonstrated that document clustering performance can be improved significantly in lower dimensional linear subspaces. Recently, matrix factorization base...
Deng Cai, Xiaofei He, Jiawei Han