Sciweavers

7009 search results - page 915 / 1402
» Patterns in Complex Systems Modeling
Sort
View
GI
2009
Springer
16 years 7 days ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen
ICPR
2000
IEEE
16 years 22 hour ago
Optic-Flow Information Extraction with Directional Gaussian-Derivatives
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...
J. Luis Silván-Cárdenas, Boris Escal...
WETICE
1998
IEEE
15 years 12 months ago
Questionnaires: A Framework using Mobile Code for Component-Based Tele-Exams
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
Jakob Hummes, Arnd Kohrs, Bernard Mérialdo
GECCO
2006
Springer
133views Optimization» more  GECCO 2006»
15 years 11 months ago
String transformation-based Bayesian classification or proteins
We describe a Markov chain Bayesian classification tool, SCS, that can perform data-driven classification of proteins and protein segments. Training data for interesting classific...
Timothy Meekhof, Gary W. Daughdrill, Robert B. Hec...
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 11 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider