Sciweavers

3830 search results - page 471 / 766
» From Reference Model to Component Model
Sort
View
SG
2010
Springer
15 years 9 months ago
A Method for Reconstructing Sketched Polyhedral Shapes with Rounds and Fillets
In this paper we present a method for detecting rounds and fillets in engineering sketches and drawings, and automatically generating a 3D model of the corresponding object, with r...
Pedro Company, Peter Ashley, Clifford Varley
GECCO
1999
Springer
111views Optimization» more  GECCO 1999»
15 years 8 months ago
On using ZCS in a Simulated Continuous Double-Auction Market
This paper presents results from on-going investigations into the performance of the Michiganstyle classifier system in a complex multi-agent environment. Using a simplified model...
Larry Bull
ECOOP
1998
Springer
15 years 8 months ago
Orthogonal to the Java Imperative
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
Suad Alagic, Jose Solorzano, David Gitchell
118
Voted
CMSB
2008
Springer
15 years 5 months ago
Compositional Definitions of Minimal Flows in Petri Nets
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
Michael Pedersen
CALCO
2011
Springer
235views Mathematics» more  CALCO 2011»
14 years 4 months ago
On the Fusion of Coalgebraic Logics
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
Fredrik Dahlqvist, Dirk Pattinson