Sciweavers

2693 search results - page 310 / 539
» French Order Without Order
Sort
View
GECCO
2004
Springer
129views Optimization» more  GECCO 2004»
15 years 10 months ago
Memetic Optimization of Video Chain Designs
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
Walid Ali, Alexander P. Topchy
ITS
2004
Springer
642views Multimedia» more  ITS 2004»
15 years 10 months ago
Advantages of Spoken Language Interaction in Dialogue-Based Intelligent Tutoring Systems
Abstract. The ability to lead collaborative discussions and appropriately scaffold learning has been identified as one of the central advantages of human tutorial interaction [6]. ...
Heather Pon-Barry, Brady Clark, Karl Schultz, Eliz...
LATIN
2004
Springer
15 years 10 months ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin
LPAR
2004
Springer
15 years 10 months ago
Weighted Answer Sets and Applications in Intelligence Analysis
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
MICAI
2004
Springer
15 years 10 months ago
An Improved ICP Algorithm Based on the Sensor Projection for Automatic 3D Registration
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...
Sang-Hoon Kim, Yong Ho Hwang, Hyun-Ki Hong, Min-Hy...