Sciweavers

3387 search results - page 410 / 678
» Automating the Metamodeling Process
Sort
View
IWSOC
2003
IEEE
137views Hardware» more  IWSOC 2003»
15 years 12 months ago
Hardware Partitioning Software for Dynamically Reconfigurable SoC Design
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
Philippe Brunet, Camel Tanougast, Yves Berviller, ...
KBSE
2003
IEEE
15 years 12 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
CHI
2003
ACM
15 years 12 months ago
Administrative assistants as interruption mediators
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...
Laura Dabbish, Ryan Shaun Baker
MIR
2003
ACM
97views Multimedia» more  MIR 2003»
15 years 12 months ago
Sports video summarization using highlights and play-breaks
To manage the massive growth of sport videos, we need to summarize the contents into a more compact and interesting representation. Unlike previous work which summarized either hi...
Dian Tjondronegoro, Yi-Ping Phoebe Chen, Binh Pham
ECSQARU
2003
Springer
15 years 11 months ago
Epistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
Churn-Jung Liau