Sciweavers

3771 search results - page 439 / 755
» Subobject Transformation Systems
Sort
View
ERCIMDL
2000
Springer
109views Education» more  ERCIMDL 2000»
15 years 8 months ago
CAP7: Searching and Browsing in Distributed Document Collections
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
Norbert Fuhr, Kai Großjohann, Stefan Kokkeli...
ICSE
2000
IEEE-ACM
15 years 8 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
FLAIRS
2007
15 years 7 months ago
Memory-Prediction Framework for Pattern Recognition: Performance and Suitability of the Bayesian Model of Visual Cortex
This paper explores an inferential system for recognizing visual patterns. The system is inspired by a recent memoryprediction theory and models the high-level architecture of the...
Saulius Juozas Garalevicius
191
Voted
WSC
2007
15 years 7 months ago
Monte Carlo methods in the physical sciences
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
Malvin H. Kalos
FOSSACS
2008
Springer
15 years 6 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...