614 search results - page 80 / 123 » DE in Slovenia: Where are We |
HYBRID
1997
Springer
14 years 1 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
CIKM
2009
Springer
14 years 25 days ago
2009
Springer
Record linkage is an important data integration task that has many practical uses for matching, merging and duplicate removal in large and diverse databases. However, a quadratic ...
SIGIR
2010
ACM
14 years 20 days ago
2010
ACM
Numerous studies have examined the ability of query performance prediction methods to estimate a query’s quality for system effectiveness measures (such as average precision). ...
MPC
1995
Springer
14 years 13 days ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
We propose a hierarchical mixed signal design methodology based on the principles of Platform-Based Design (PBD). The methodology is a meet-in-the-middle approach where design com...