8911 search results - page 1371 / 1783 » Intelligent Systems for Tourism |
213
click to vote
AI
2011
Springer
15 years 2 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
313
click to vote
ASE
2011
15 years 2 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
202
click to vote
CEC
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the problem of efficiently allocating incoming independent tasks onto the resources of a Grid system. Typically, it is assumed that the estimated time to compute each task...
268
click to vote
MTA
2011
15 years 2 months ago
2011
Research on methods for detection and recognition of events and actions in videos is receiving an increasing attention from the scientific community, because of its relevance for ...
132
click to vote
MMAS
2010
Springer
15 years 2 months ago
2010
Springer
Usually the Stokes equations that govern a flow in a smooth thin domain (with thickness of order ) are related to the Reynolds equation for the pressure psmooth. In this paper, we...