1076 search results - page 178 / 216 » Operations on proofs and labels |
140
Voted
AUIC
2004
IEEE
15 years 9 months ago
2004
IEEE
We are at present enabled with machine-empowered technologies. The future is certainly looking towards human-empowered technologies, which should enable mobile user with natural w...
162
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
148
click to vote
EVOW
2006
Springer
15 years 9 months ago
2006
Springer
An original approach, termed Divide-and-Evolve is proposed to hybridize Evolutionary Algorithms (EAs) with Operational Research (OR) methods in the domain of Temporal Planning Prob...
164
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
161
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...