Sciweavers

23119 search results - page 4403 / 4624
» From Domain to Requirements
Sort
View
ICIAR
2004
Springer
16 years 9 hour ago
Real Time Multiple Object Tracking Based on Active Contours
Abstract. In this paper our purpose is to present some solutions to multiple object tracking in an image sequence with a real time constraint and a possible mobile camera. We propo...
Sébastien Lefèvre, Nicole Vincent
ICLP
2004
Springer
16 years 8 hour ago
MProlog: An Extension of Prolog for Modal Logic Programming
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
Linh Anh Nguyen
175
Voted
ICS
2004
Tsinghua U.
16 years 8 hour ago
Adaptive incremental checkpointing for massively parallel systems
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
Saurabh Agarwal, Rahul Garg, Meeta Sharma Gupta, J...
ICS
2004
Tsinghua U.
16 years 8 hour ago
Inter-reference gap distribution replacement: an improved replacement algorithm for set-associative caches
We propose a novel replacement algorithm, called InterReference Gap Distribution Replacement (IGDR), for setassociative secondary caches of processors. IGDR attaches a weight to e...
Masamichi Takagi, Kei Hiraki
ICWE
2004
Springer
16 years 5 hour ago
Authoring and Dynamic Generation of Adaptive E-courses
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
Rosa M. Carro, Manuel Freire, Estefanía Mar...
« Prev « First page 4403 / 4624 Last » Next »