2850 search results - page 324 / 570 » On Timed Models and Full Abstraction |
197
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
182
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
173
Voted
MIRAGE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a fast and robust iterative method for interpreting face images under non-uniform lighting conditions by using a fitting algorithm which utilizes an illuminat...
144
click to vote
EGOV
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...
179
click to vote
LATIN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...