2004 search results - page 293 / 401 » Interaction nets: programming language design and implementa... |
206
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
129
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
174
click to vote
CVPR
2003
IEEE
15 years 10 months ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
141
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
173
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...