Sciweavers

8266 search results - page 55 / 1654
» Information About the Journal
Sort
View
BIRTHDAY
2006
Springer
15 years 3 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
72
Voted
IJCAI
2001
15 years 1 months ago
Leveraging Data About Users in General in the Learning of Individual User Models
Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
Anthony Jameson, Frank Wittig
AAAI
1996
15 years 1 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher
HEURISTICS
2006
95views more  HEURISTICS 2006»
14 years 12 months ago
Hard and soft constraints for reasoning about qualitative conditional preferences
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
Carmel Domshlak, Steven David Prestwich, Francesca...
CVPR
2008
IEEE
16 years 1 months ago
What do color changes reveal about an outdoor scene?
In an extended image sequence of an outdoor scene, one observes changes in color induced by variations in the spectral composition of daylight. This paper proposes a model for the...
Kalyan Sunkavalli, Fabiano Romeiro, Wojciech Matus...