Sciweavers

7918 search results - page 125 / 1584
» Model Composition Directives
Sort
View
124
Voted
COLING
1996
15 years 3 months ago
Processing Metonymy- a Domain-Model Heuristic Graph Traversal Approach
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
Jacques Bouaud, Bruno Bachimont, Pierre Zweigenbau...
102
Voted
ICPR
2008
IEEE
16 years 3 months ago
Detection of digital processing of images through a realistic model of CCD noise
In this paper, we propose a method for detecting digital processing of video such as compositing. Our method is based on a realistic model of charge coupled device (CCD) sensor no...
Jean-Baptiste Maillard, Daniel Lévesque, Fr...
SEFM
2006
IEEE
15 years 8 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
SOCO
2005
Springer
15 years 8 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 2 months ago
State machine models of timing and circuit design
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
Victor Yodaiken