2308 search results - page 211 / 462 » Representing Symbolic Reasoning |
176
click to vote
MM
2005
ACM
16 years 3 days ago
2005
ACM
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
153
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
135
click to vote
WIA
2005
Springer
16 years 1 days ago
2005
Springer
There has been several attempts over the years to solve the bisimulation minimization problem for finite automata. One of the most famous algorithms is the one suggested by Paige ...
175
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
156
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...