4480 search results - page 23 / 896 » Prototyping Completion with Constraints Using Computational ... |
124
click to vote
STACS
2001
Springer
15 years 7 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
139
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a new approach on combined highlevel synthesis and partitioning for FPGA-based multi-chip emulation systems. The goal is to synthesize a prototype with maximal...
130
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
123
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Practical data mining rarely falls exactly into the supervised learning scenario. Rather, the growing amount of unlabeled data poses a big challenge to large-scale semi-supervised...
123
click to vote
ICCSA
2004
Springer
15 years 8 months ago
2004
Springer
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...