1195 search results - page 184 / 239 » Modeling an Algebraic Stepper |
136
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
158
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
192
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
175
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
195
click to vote
CIAC
2006
Springer
15 years 9 months ago
2006
Springer
We consider the minimum line covering problem: given a set S of n points in the plane, we want to find the smallest number l of straight lines needed to cover all n points in S. W...