Sciweavers

3342 search results - page 449 / 669
» Automating Abstract Interpretation
Sort
View
91
Voted
ESANN
2006
15 years 2 months ago
Classification by means of Evolutionary Response Surfaces
Abstract. Response surfaces are a powerful tool for both classification and regression as they are able to model many different phenomena and construct complex boundaries between c...
Rafael del Castillo Gomariz, Nicolás Garc&i...
105
Voted
WOA
2001
15 years 2 months ago
Multi-Agent Systems as Composition of Observable Systems
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
Mirko Viroli, Andrea Omicini
141
Voted
WOA
2004
15 years 2 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
146
Voted
ISPE
2003
15 years 2 months ago
A collaborative knowledge management system for concurrent design and manufacturing
ABSTRACT: Knowledge systems for scientific and engineering endeavors must be able to insure the accuracy, completeness, and validity of their contents. When designed as such, these...
A. H. Liszka, William A. Stubblefield, Stephen D. ...
159
Voted
ISDO
2000
194views Business» more  ISDO 2000»
15 years 2 months ago
Contract-Based Transaction Management in Cross-Organizational Workflow Management
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...
Paul W. P. J. Grefen