2765 search results - page 355 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
108
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
197
click to vote
UM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...
152
click to vote
ATAL
2004
Springer
16 years 22 hour ago
2004
Springer
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...
170
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
197
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...