Sciweavers

216 search results - page 15 / 44
» Modeling and Automated Containment of Worms
Sort
View
WSC
1998
13 years 11 months ago
Simulation of a Large-Scale Brewery Distribution System
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...
K. Heinz Weigl
EWCBR
1993
Springer
14 years 1 months ago
Knowledge Engineering Requirements in Derivational Analogy
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
Padraig Cunningham, Donal Finn, Seán Slatte...
DLOG
1997
13 years 11 months ago
Inspecting Concepts Graphically with Zoomable Lenses
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
Gary Ng, Carole A. Goble, Adrian West
LPAR
2012
Springer
12 years 5 months ago
Lazy Abstraction with Interpolants for Arrays
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
Francesco Alberti, Roberto Bruttomesso, Silvio Ghi...
EDOC
2003
IEEE
14 years 2 months ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel