Sciweavers

9810 search results - page 139 / 1962
» Problems, Descriptions and Objects
Sort
View
DATE
2004
IEEE
152views Hardware» more  DATE 2004»
15 years 8 months ago
A Design Methodology for the Exploitation of High Level Communication Synthesis
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
Francesco Bruschi, Massimo Bombana
JOT
2007
94views more  JOT 2007»
15 years 4 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons
GECCO
2003
Springer
15 years 9 months ago
Two Broad Classes of Functions for Which a No Free Lunch Result Does Not Hold
We identify classes of functions for which a No Free Lunch result does and does not hold, with particular emphasis on the relationship between No Free Lunch and problem description...
Matthew J. Streeter
DLOG
2006
15 years 5 months ago
Discrete Tableau Algorithms for FSHI
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
ICCV
2007
IEEE
16 years 6 months ago
Correspondence Establishment in Statistical Modeling of Shapes with Arbitrary Topology
Correspondence establishment is a key step in statistical shape model building. There are several automated methods for solving this problem in 3D, but they usually can only handl...
Ekaterina Syrkina, Gábor Székely, Mi...