1076 search results - page 20 / 216 » Operations on proofs and labels |
LICS
2000
IEEE
13 years 12 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
SCALESPACE
2009
Springer
14 years 2 months ago
2009
Springer
Multi-class labeling is one of the core problems in image analysis. We show how this combinatorial problem can be approximately solved using tools from convex optimization. We sugg...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
In order to let software programs gain full benefit from semi-structured web sources, wrapper programs must be built to provide a “machine-readable” view over them. A signific...
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...