Sciweavers

1181 search results - page 143 / 237
» A New Definition of Creativity
Sort
View
ITICSE
2009
ACM
14 years 3 months ago
Hybrid and custom data structures: evolution of the data structures course
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
Daniel J. Ernst, Daniel E. Stevenson, Paul J. Wagn...
CAV
2004
Springer
126views Hardware» more  CAV 2004»
14 years 23 days ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
Kedar S. Namjoshi
ESA
2010
Springer
161views Algorithms» more  ESA 2010»
13 years 10 months ago
Top-k Ranked Document Search in General Text Databases
Text search engines return a set of k documents ranked by similarity to a query. Typically, documents and queries are drawn from natural language text, which can readily be partiti...
J. Shane Culpepper, Gonzalo Navarro, Simon J. Pugl...
VC
2008
95views more  VC 2008»
13 years 9 months ago
High frequency geometric detail manipulation and editing for point-sampled surfaces
In this paper, based on the new definition of high frequency geometric detail for point-sampled surfaces, a new approach for detail manipulation and a detail-preserving editing fra...
Yongwei Miao, Jieqing Feng, Chunxia Xiao, Qunsheng...
LIBT
2000
43views more  LIBT 2000»
13 years 8 months ago
Principles of Selection for Electronic Resources
THE AVAILABILITY IN ELECTRONIC FORMAT OF scholarly and scientific literatures and other forms of information relevant to the needs of library users has profoundly altered the chal...
Paul Metz