Sciweavers

2344 search results - page 172 / 469
» Generating from a Deep Structure
Sort
View
120
Voted
DAGSTUHL
2006
15 years 5 months ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga
89
Voted
COGSCI
2006
62views more  COGSCI 2006»
15 years 3 months ago
Idiomatic Syntactic Constructions and Language Learning
This article explores the influence of idiomatic syntactic constructions (i.e., constructions whose phrase structure rules violate the rules that underlie the construction of othe...
Michael P. Kaschak, Jenny R. Saffran
156
Voted
GECCO
2005
Springer
195views Optimization» more  GECCO 2005»
15 years 9 months ago
Evolving fuzzy decision tree structure that adapts in real-time
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
James F. Smith III
116
Voted
TVCG
2008
93views more  TVCG 2008»
15 years 3 months ago
Interactive, Internet Delivery of Visualization via Structured Prerendered Multiresolution Imagery
Abstract-We present a novel approach for latency-tolerant remote visualization and rendering where client-side frame rate display performance is independent of source dataset size,...
Jerry Chen, Ilmi Yoon, Wes Bethel
142
Voted
TVCG
2010
126views more  TVCG 2010»
15 years 1 months ago
Modeling Repetitive Motions Using Structured Light
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...
Yi Xu, Daniel G. Aliaga