Sciweavers

1789 search results - page 199 / 358
» Extending the Choquet integral
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 11 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
NOMS
2000
IEEE
131views Communications» more  NOMS 2000»
15 years 11 months ago
Provision of global number portability using CORBA
Global Number Portability (GNP) is becoming a key service to increase competition and profit of a service provider for the ever-growing telephone marketplace. In this paper, we pr...
Kyu-Hyung Kim, Dong-Hee Lee, Eun-Ju Ha, Jong-Tae P...
WISE
2000
Springer
15 years 11 months ago
Object-Oriented Mediator Queries to XML Data
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
Hui Lin, Tore Risch, Timour Katchaounov
UIST
2000
ACM
15 years 11 months ago
TopicShop: enhanced support for evaluating and organizing collections of Web sites
TopicShop is an interface that helps users evaluate and organize collections of web sites. The main interface components are site profiles, which contain information that helps us...
Brian Amento, Loren G. Terveen, William C. Hill, D...
ICFP
1999
ACM
15 years 11 months ago
Interlanguage Working Without Tears: Blending SML with Java
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
Nick Benton, Andrew Kennedy