12487 search results - page 150 / 2498 » Graspable Work Modeling |
130
click to vote
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
150
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
154
Voted
EDUTAINMENT
2008
Springer
15 years 5 months ago
2008
Springer
There is a trend in Virtual Learning Environments (VLE) towards flexible and adapted learning experiences that modify their contents and behavior to suit the needs of different lea...
128
Voted
ISTAR
2008
15 years 4 months ago
2008
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
115
Voted
IWEC
2004
15 years 4 months ago
2004
In this paper, we describe our work on classification of players in Massively Multiplayer Online Games using Hidden Markov Models based on player action sequences. In our previous ...