Sciweavers

165 search results - page 19 / 33
» Constraints: The Ties that Bind
Sort
View
COMPSAC
2008
IEEE
14 years 2 months ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
ICCAD
2000
IEEE
188views Hardware» more  ICCAD 2000»
14 years 16 hour ago
Bus Optimization for Low-Power Data Path Synthesis Based on Network Flow Method
— Sub-micron feature sizes have resulted in a considerable portion of power to be dissipated on the buses, causing an increased attention on savings for power at the behavioral l...
Sungpack Hong, Taewhan Kim
ICTL
1994
13 years 11 months ago
Abduction in Temporal Reasoning
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
Cristina Ribeiro, António Porto
WABI
2010
Springer
167views Bioinformatics» more  WABI 2010»
13 years 6 months ago
Quantifying the Strength of Natural Selection of a Motif Sequence
Quantification of selective pressures on regulatory sequences is a central question in studying the evolution of gene regulatory networks. Previous methods focus primarily on sing...
Chen-Hsiang Yeang
ICIP
2004
IEEE
14 years 9 months ago
Time-constraint boost for tv commercials detection
Commercials detection is very important for TV broadcast analysis. However, independent classification of video shots is very difficult because a considerable portion of individua...
Tie-Yan Liu, Tao Qin, HongJiang Zhang