Sciweavers

14190 search results - page 2514 / 2838
» Abstractions for hybrid systems
Sort
View
DLOG
2007
15 years 10 months ago
Action Based ABox Update: an Example from the Chemical Compound Formulation
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
Alessandro Mosca, Matteo Palmonari
DLOG
2008
15 years 10 months ago
Classifying Fuzzy Subsumption in Fuzzy-EL+
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
WSC
2007
15 years 10 months ago
Combining micro and macro-modeling in DEVS for computational biology
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
Adelinde M. Uhrmacher, Roland Ewald, Mathias John,...
ARC
2008
Springer
141views Hardware» more  ARC 2008»
15 years 9 months ago
A Parallel Hardware Architecture for Image Feature Detection
Abstract. This paper presents a real time parallel hardware architecture for image feature detection based on the SIFT (Scale Invariant Feature Transform) algorithm. This architect...
Vanderlei Bonato, Eduardo Marques, George A. Const...
ATAL
2008
Springer
15 years 9 months ago
Constitutive interoperability
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
Amit K. Chopra, Munindar P. Singh
« Prev « First page 2514 / 2838 Last » Next »