Sciweavers

1608 search results - page 205 / 322
» Functional Understanding Based on an Ontology of Functional ...
Sort
View
BIRTHDAY
2007
Springer
14 years 2 months ago
A Denotational Semantics for Handel-C
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
Andrew Butterfield
ECML
2007
Springer
14 years 2 months ago
Discriminative Sequence Labeling by Z-Score Optimization
Abstract. We consider a new discriminative learning approach to sequence labeling based on the statistical concept of the Z-score. Given a training set of pairs of hidden-observed ...
Elisa Ricci, Tijl De Bie, Nello Cristianini
AICT
2006
IEEE
201views Communications» more  AICT 2006»
14 years 2 months ago
Distributed Web Service Discovery Architecture
In this paper, we present a distributed Web service discovery architecture that is designed to be reliable, flexible and scalable. The architecture is based on the concept of dis...
Brahmananda Sapkota, Dumitru Roman, Sebastian Rysz...
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
14 years 2 months ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
IPPS
2006
IEEE
14 years 2 months ago
Saburo, a tool for I/O and concurrency management in servers
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
Gautier Loyauté, Rémi Forax, Gilles ...