1847 search results - page 297 / 370 » Hybrid Functional Interpretations |
110
click to vote
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
72
Voted
ECWEB
2000
Springer
15 years 1 months ago
2000
Springer
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
EUROCOLT
1995
Springer
15 years 1 months ago
1995
Springer
k. The model we study can be interpreted as a broad, abstract extension of the well-studied on-line prediction model to a general decision-theoretic setting. We show that the multi...
100
click to vote
DEXAW
2006
IEEE
15 years 3 days ago
2006
IEEE
The availability of a direct pathway from a primary sequence (denovo or DNA derived) to macromolecular structure to biological function using computer-based tools is the ultimate ...
106
click to vote
ER
2008
Springer
14 years 12 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...