2314 search results - page 311 / 463 » Monoids over domains |
104
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
91
Voted
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Categorizing web-based videos is an important yet challenging task. The difficulties arise from large data diversity within a category, lack of labeled data, and degradation of vi...
120
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
123
Voted
CSL
2000
Springer
15 years 6 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
142
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...