Sciweavers

391 search results - page 8 / 79
» Efficient inductance extraction using circuit-aware techniqu...
Sort
View
ECIR
1998
Springer
13 years 9 months ago
Combining Information Retrieval with Information Extraction for Efficient Retrieval of Calls for Papers
In many domains there are specific attributes in documents that carry more weight than the general words in the document. This paper proposes the use of information extraction tec...
F. Lazarinis
FORMATS
2004
Springer
13 years 11 months ago
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
Bruno Dutertre, Maria Sorea
SIBGRAPI
2003
IEEE
14 years 1 months ago
Using Efficient Visual Exploration Techniques to Evaluate Features for Content-Based Image Retrieval
This paper presents a novel visual approach to evaluate, in a fast and effective way, the development of new image feature extraction techniques concerning content-based image ret...
José Fernando Rodrigues Jr., César A...
ML
2006
ACM
143views Machine Learning» more  ML 2006»
13 years 7 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton
DATE
2007
IEEE
94views Hardware» more  DATE 2007»
13 years 11 months ago
Optimization-based wideband basis functions for efficient interconnect extraction
This paper introduces a technique for the numerical generation of basis functions that are capable of parameterizing the frequency-variant nature of cross-sectional conductor curre...
Xin Hu, Tarek Moselhy, Jacob K. White, Luca Daniel