3653 search results - page 282 / 731 » On Recognizable Timed Languages |
180
click to vote
ICFCA
2004
Springer
16 years 22 days ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
188
click to vote
CC
2003
Springer
16 years 18 days ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
143
click to vote
CP
2003
Springer
16 years 18 days ago
2003
Springer
In this paper we introduce a new method for bounding the solution to constraint optimization problems called semi-independent partitioning. We show that our method is a strict gene...
165
Voted
CONTENT
2001
Springer
15 years 12 months ago
2001
Springer
A development environment for RenderMan shaders has been implemented, allowing the SL programmer to observe the bahaviour of variables in both time and space. By allowing both nov...
199
click to vote
PACT
2001
Springer
15 years 11 months ago
2001
Springer
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...