Sciweavers

3863 search results - page 386 / 773
» Function in Device Representation
Sort
View
CAV
2010
Springer
251views Hardware» more  CAV 2010»
15 years 10 months ago
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
15 years 10 months ago
Classifier systems that compute action mappings
The learning in a niche based learning classifier system depends both on the complexity of the problem space and on the number of available actions. In this paper, we introduce a ...
Pier Luca Lanzi, Daniele Loiacono
FGR
2004
IEEE
163views Biometrics» more  FGR 2004»
15 years 10 months ago
Model-Based and Image-Based Methods for Facial Image Synthesis, Analysis and Recognition
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...
Demetri Terzopoulos, Yuencheng Lee, M. Alex O. Vas...
EDBTW
2006
Springer
15 years 10 months ago
Event-Condition-Action Rule Languages for the Semantic Web
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...
Alexandra Poulovassilis, George Papamarkos, Peter ...
DASFAA
2010
IEEE
195views Database» more  DASFAA 2010»
15 years 10 months ago
BIDEL: An XML-Based System for Effective Fast Change Detection of Genomic and Proteomic Data
Abstract. A key issue to address in biological data integration is how to detect changes to the underlying biological data sources. In this demonstration, we present a novel system...
Song Yang, Sourav S. Bhowmick