Sciweavers

1917 search results - page 313 / 384
» The York Abstract Machine
Sort
View
FORMATS
2009
Springer
14 years 27 days ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
GCB
2009
Springer
139views Biometrics» more  GCB 2009»
14 years 27 days ago
Graph-Kernels for the Comparative Analysis of Protein Active Sites
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
Thomas Fober, Marco Mernberger, Ralph Moritz, Eyke...
ICCS
2007
Springer
14 years 27 days ago
Multi-level Coupling of Dynamic Data-Driven Experimentation with Material Identification
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
John Michopoulos, Tomonari Furukawa
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
14 years 23 days ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
ADMA
2006
Springer
110views Data Mining» more  ADMA 2006»
14 years 23 days ago
Learning with Local Drift Detection
Abstract. Most of the work in Machine Learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
João Gama, Gladys Castillo