463 search results - page 33 / 93 » Method Tailoring as Negotiation |
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
— We introduce a hierarchical variant of the probabilistic roadmap method for motion planning. By recursively refining an initially sparse sampling in neighborhoods of the C-obs...
EMMCVPR
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents a novel method for surface recovery from discrete 3D point data sets. In order to produce improved reconstruction results, the algorithm presented in this paper...
ICSOC
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Web portals provide an efficient gateway to a broad range of Eservices, resources and information. Web portals need to evolve towards being adaptive in nature, so that th...