5096 search results - page 668 / 1020 » Associations as a Language Construct |
174
click to vote
CF
2004
ACM
16 years 6 days ago
2004
ACM
Nanoelectronics research has primarily focused on devices. By contrast, not much has been published on innovations at higher layers: we know little about how to construct circuits...
185
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
180
click to vote
EWCBR
2004
Springer
16 years 4 days ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
183
click to vote
SAFECOMP
2004
Springer
16 years 3 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
161
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
Data cube has been playing an essential role in fast OLAP (online analytical processing) in many multi-dimensional data warehouses. However, there exist data sets in applications ...