Sciweavers

2025 search results - page 330 / 405
» Adaptive Content Presentation for the Web
Sort
View
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
14 years 2 months ago
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
Koushik Sen, Grigore Rosu, Gul Agha
ICOST
2010
Springer
13 years 11 months ago
Object Recognition and Ontology for Manipulation with an Assistant Robot
This article presents a service robotic system for people loosing their autonomy developed at CEA LIST. In the past on SAM robot, we have developed a method for automatic manipulat...
Hélène Vorobieva, Mariette Soury, Pa...
SERP
2003
13 years 10 months ago
Software Requirements Specification of a University Class Scheduler
The University Class Scheduler (UCS) presented in this paper is a novel scheduling tool intended to be used by universities to schedule classes into classrooms. In essence, UCS al...
Deanna M. Needell, Jeff A. Stuart, Tamara C. Thiel...
IJET
2008
114views more  IJET 2008»
13 years 8 months ago
Proposal of convergence of e-Learning Systems for t-Learning
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
Barbara De Franco, Hilda Carvalho Oliveira, Everal...
WWW
2005
ACM
14 years 9 months ago
A personalized search engine based on web-snippet hierarchical clustering
In this paper we propose a hierarchical clustering engine, called SnakeT, that is able to organize on-the-fly the search results drawn from 16 commodity search engines into a hier...
Paolo Ferragina, Antonio Gulli