3984 search results - page 604 / 797 » A Model-Driven Transformation Method |
113
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
168
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
169
Voted
ICISP
2010
Springer
15 years 9 months ago
2010
Springer
High-resolution nuclear magnetic resonance (NMR) spectra contain important biomarkers that have potentials for early diagnosis of disease and subsequent monitoring of its progressi...
152
click to vote
ICCBR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
148
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...