Sciweavers

2780 search results - page 483 / 556
» Learning to Order Things
Sort
View
JOLLI
2008
145views more  JOLLI 2008»
13 years 10 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
JUCS
2008
145views more  JUCS 2008»
13 years 10 months ago
Development of Ambient Intelligence Systems Based on Collaborative Task Models
: So far, the Ambient Intelligence (AmI) paradigm has been applied to the development of a great variety of real systems. They use advanced technologies such as ubiquitous computin...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
JUCS
2008
163views more  JUCS 2008»
13 years 10 months ago
Authoring Social-aware Tasks on Active Spaces
: Social-aware computing is an emerging trend based on ubiquitous computing technologies and collaborative work. A successful design demands a better understanding of group tasks, ...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
ESWA
2007
178views more  ESWA 2007»
13 years 10 months ago
Educational data mining: A survey from 1995 to 2005
ct 7 Currently there is an increasing interest in data mining and educational systems, making educational data mining as a new growing 8 research community. This paper surveys the ...
Cristóbal Romero, Sebastián Ventura
PAMI
2006
243views more  PAMI 2006»
13 years 10 months ago
Dynamical Statistical Shape Priors for Level Set-Based Tracking
In recent years, researchers have proposed to introduce statistical shape knowledge into level set based segmentation methods in order to cope with insufficient low-level informati...
Daniel Cremers