6829 search results - page 346 / 1366 » Quantitative Generalizations of Languages |
170
Voted
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
182
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Modern high-end machines feature multiple processor packages, each of which contains multiple independent cores and integrated memory controllers connected directly to dedicated p...
163
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
180
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
148
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...