Sciweavers

9974 search results - page 1874 / 1995
» Software Interconnection Models
Sort
View
116
Voted
ATAL
2005
Springer
15 years 3 months ago
Rockwell automation agents for manufacturing
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
Vladimír Marík, Pavel Vrba, Kenwood ...
DAC
2005
ACM
15 years 3 months ago
Prime clauses for fast enumeration of satisfying assignments to boolean circuits
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
HoonSang Jin, Fabio Somenzi
CIVR
2008
Springer
127views Image Analysis» more  CIVR 2008»
15 years 3 months ago
Performance evaluation of relevance feedback methods
In this paper we review the evaluation of relevance feedback methods for content-based image retrieval systems. We start out by presenting an overview of current common practice, ...
Mark J. Huiskes, Michael S. Lew
COST
2008
Springer
122views Multimedia» more  COST 2008»
15 years 3 months ago
Articulatory Speech Re-synthesis: Profiting from Natural Acoustic Speech Data
The quality of static phones (e.g. vowels, fricatives, nasals, laterals) generated by articulatory speech synthesizers has reached a high level in the last years. Our goal is to ex...
Dominik Bauer, Jim Kannampuzha, Bernd J. Krög...
DAS
2008
Springer
15 years 3 months ago
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
Stephen M. Watt
« Prev « First page 1874 / 1995 Last » Next »