Sciweavers

1007 search results - page 132 / 202
» The Complexity of Futile Questioning
Sort
View
CSEE
2009
Springer
15 years 7 months ago
Software Engineering Education for Bioinformatics
As software engineering educators, it is important for us to realize the increasing domainspecificity of software, and incorporate these changes in our design of teaching material...
Medha Umarji, Carolyn B. Seaman, Akif Günes K...
91
Voted
DAGM
2009
Springer
15 years 7 months ago
The Stixel World - A Compact Medium Level Representation of the 3D-World
Abstract. Ambitious driver assistance for complex urban scenarios demands a complete awareness of the situation, including all moving and stationary objects that limit the free spa...
Hernán Badino, Uwe Franke, David Pfeiffer
85
Voted
FMCAD
2009
Springer
15 years 7 months ago
Retiming and resynthesis with sweep are complete for sequential transformation
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
Hai Zhou
117
Voted
ICCS
2009
Springer
15 years 7 months ago
Time Acceleration Methods for Advection on the Cubed Sphere
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
R. K. Archibald, Katherine J. Evans, J. B. Drake, ...
MFCS
2009
Springer
15 years 7 months ago
Synthesis for Structure Rewriting Systems
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
Lukasz Kaiser