Sciweavers

6343 search results - page 944 / 1269
» Development of a Cartographic Language
Sort
View
ICCSA
2004
Springer
16 years 3 days ago
Speculative Parallelization of a Randomized Incremental Convex Hull Algorithm
Finding the fastest algorithm to solve a problem is one of the main issues in Computational Geometry. Focusing only on worst case analysis or asymptotic computations leads to the d...
Marcelo H. Cintra, Diego R. Llanos Ferraris, Bel&e...
ITS
2004
Springer
115views Multimedia» more  ITS 2004»
16 years 3 days ago
Evaluating the Effectiveness of a Tutorial Dialogue System for Self-Explanation
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
Vincent Aleven, Amy Ogan, Octav Popescu, Cristen T...
191
Voted
NMR
2004
Springer
16 years 3 days ago
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
Nikolay Pelov, Miroslaw Truszczynski
EUROMICRO
2003
IEEE
16 years 1 days ago
Enforcing a lips Usage Policy for CORBA Components
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
Wayne DePrince Jr., Christine Hofmeister
IEEEAMS
2003
IEEE
16 years 19 hour ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini