Sciweavers

14709 search results - page 2424 / 2942
» Semantic feature modelling
Sort
View
IPPS
2003
IEEE
16 years 14 days ago
Using Hybrid Alignment for Iterative Sequence Database Searches
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...
Yuheng Li, Mario Lauria, Ralf Bundschuh
ITC
2003
IEEE
93views Hardware» more  ITC 2003»
16 years 14 days ago
Hybrid Multisite Testing at Manufacturing
This paper deals with Hybrid multisite testing of VLSI chips by utilizing automatic test equipment (ATE) in connection with built-in self-test (BIST). The performance of a multisi...
Hamidreza Hashempour, Fred J. Meyer, Fabrizio Lomb...
TIME
2003
IEEE
16 years 13 days ago
Hybrid Logics on Linear Structures: Expressivity and Complexity
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
Massimo Franceschet, Maarten de Rijke, Bernd-Holge...
AC
2003
Springer
16 years 12 days ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
APN
2003
Springer
16 years 12 days ago
Deciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
H. M. W. (Eric) Verbeek, Twan Basten
« Prev « First page 2424 / 2942 Last » Next »