Sciweavers

8080 search results - page 1241 / 1616
» From Computer Networks to Agent Networks
Sort
View
AEI
1999
134views more  AEI 1999»
15 years 6 months ago
Automatic design synthesis with artificial intelligence techniques
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
Francisco J. Vico, Francisco J. Veredas, Jos&eacut...
NECO
2002
104views more  NECO 2002»
15 years 6 months ago
An Unsupervised Ensemble Learning Method for Nonlinear Dynamic State-Space Models
A Bayesian ensemble learning method is introduced for unsupervised extraction of dynamic processes from noisy data. The data are assumed to be generated by an unknown nonlinear ma...
Harri Valpola, Juha Karhunen
ICDAR
2009
IEEE
15 years 4 months ago
Low Cost Correction of OCR Errors Using Learning in a Multi-Engine Environment
We propose a low cost method for the correction of the output of OCR engines through the use of human labor. The method employs an error estimator neural network that learns to as...
Ahmad Abdulkader, Mathew R. Casey
IFIP
2010
Springer
15 years 1 months ago
Modular Plans for Secure Service Composition
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
NFM
2011
303views Formal Methods» more  NFM 2011»
15 years 1 months ago
Instantiation-Based Invariant Discovery
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
Temesghen Kahsai, Yeting Ge, Cesare Tinelli
« Prev « First page 1241 / 1616 Last » Next »