Sciweavers

5377 search results - page 874 / 1076
» Programming Languages For Interactive Computing
Sort
View
111
Voted
ICALT
2005
IEEE
15 years 9 months ago
Java Learning Object Ontology
This paper presents an ontology, the Java Learning Object Ontology - JLOO, for organizing learning objects of Java courses in an adaptive e-learning environment. The classificatio...
Ming-Che Lee, Ding Yen Ye, Tzone I. Wang
148
Voted
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 9 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
121
Voted
CP
2005
Springer
15 years 9 months ago
Automatic Detection of Variable and Value Symmetries
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
Jean-Francois Puget
127
Voted
CP
2005
Springer
15 years 9 months ago
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
An algorithm that performs asynchronous backtracking on distributed CSPs, with dynamic ordering of agents is proposed, ABT DO. Agents propose reorderings of lower priority agents a...
Roie Zivan, Amnon Meisels
114
Voted
ICALP
2005
Springer
15 years 9 months ago
How Well Can Primal-Dual and Local-Ratio Algorithms Perform?
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
Allan Borodin, David Cashman, Avner Magen