3825 search results - page 311 / 765 » The Language of Time: A Reader |
148
click to vote
CCS
1997
ACM
15 years 10 months ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
155
click to vote
FOCS
1989
IEEE
15 years 10 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
158
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
174
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
181
click to vote
IJCAI
1993
15 years 8 months ago
1993
Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in th...