10271 search results - page 1712 / 2055 » Computer Science |
188
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
173
click to vote
TARK
2005
Springer
16 years 5 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
186
click to vote
WEBI
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we describe the navigational behavior of the students of a e-learning virtual environment, in order to determine whether such navigational patterns are related to th...
185
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we report on an empirical exploration of digital ink and speech usage in lecture presentation. We studied the video archives of five Master’s level Computer Scien...
170
Voted
SIGCSE
2004
ACM
16 years 3 days ago
2004
ACM
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...