2766 search results - page 246 / 554 » Hybridizing a Logical Framework |
158
click to vote
ECSQARU
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
226
click to vote
ESOP
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
249
click to vote
NMR
2004
Springer
16 years 18 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
224
click to vote
FDL
2003
IEEE
16 years 16 days ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
221
click to vote
SBCCI
2003
ACM
16 years 14 days ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...