280 search results - page 19 / 56 » Some Recent Results in Metric Temporal Logic |
165
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
181
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...
148
Voted
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
2010
Eurographics
High-refresh-rate displays (e. g., 120 Hz) have recently become available on the consumer market and quickly gain on popularity. One of their aims is to reduce the perceived blur ...
157
Voted
CONCUR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
131
Voted
LICS
2008
IEEE
16 years 14 days ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...