12289 search results - page 856 / 2458 » computing 2006 |
165
click to vote
COMGEO
2006
ACM
15 years 7 months ago
2006
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementat...
168
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
The teaching/ learning of cognitive skills, such as problem-solving, is an important goal in most forms of education. In well-structured subject areas certain exercise problem typ...
191
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
196
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
190
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...