Sciweavers

2214 search results - page 276 / 443
» Complexity of Reasoning
Sort
View
127
Voted
3DPVT
2004
IEEE
159views Visualization» more  3DPVT 2004»
15 years 7 months ago
Dense Multiple View Stereo with General Camera Placement using Tensor Voting
We present a computational framework for the inference of dense descriptions from multiple view stereo with general camera placement. Thus far research on dense multiple view ster...
Philippos Mordohai, Gérard G. Medioni
148
Voted
CASCON
2006
162views Education» more  CASCON 2006»
15 years 5 months ago
Integrating dynamic views using model driven development
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
R. Ian Bull
NSDI
2004
15 years 4 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
126
Voted
GECCO
2008
Springer
145views Optimization» more  GECCO 2008»
15 years 4 months ago
An evolutionary approach for competency-based curriculum sequencing
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
Luis de Marcos, José-Javier Martínez...
122
Voted
CAD
2000
Springer
15 years 3 months ago
Managing digital libraries for computer-aided design
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
William C. Regli, Vincent A. Cicirello