Sciweavers

32 search results - page 4 / 7
» GRASP: basic components and enhancements
Sort
View
ECWEB
2005
Springer
187views ECommerce» more  ECWEB 2005»
14 years 1 months ago
Improving Reuse of Web Service Compositions
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
Carlos Granell, Michael Gould, Roy Grønmo, ...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 2 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
LACL
2001
Springer
13 years 12 months ago
Structural Equations in Language Learning
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
Michael Moortgat
CAIP
1997
Springer
105views Image Analysis» more  CAIP 1997»
13 years 11 months ago
An Active Vision System for Obtaining High Resolution Depth Information
A low-cost active vision head with ten degrees of freedom is presented that has been build from off-the-shelf parts. To obtain high resolution depth information of fixated objects ...
Winfried A. Fellenz, Karsten Schlüns, Andreas...
JAL
2008
97views more  JAL 2008»
13 years 7 months ago
Experimental studies of variable selection strategies based on constraint weights
An important class of heuristics for constraint satisfaction problems works by sampling information during search in order to inform subsequent decisions. One of these strategies, ...
Richard J. Wallace, Diarmuid Grimes