2553 search results - page 273 / 511 » Modeling Trees with Hypertextures |
158
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
162
click to vote
ISMVL
2005
IEEE
16 years 4 days ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
158
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
193
click to vote
IEAAIE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The aim of our research was to apply well-known data mining techniques (such as linear neural networks, multi-layered perceptrons, probabilistic neural networks, classifi...
150
click to vote
PATMOS
2004
Springer
15 years 12 months ago
2004
Springer
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...