Sciweavers

3255 search results - page 379 / 651
» Combination of Abstractions in the ASTR
Sort
View
IWPEC
2010
Springer
15 years 4 months ago
Inclusion/Exclusion Branching for Partial Dominating Set and Set Splitting
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
Jesper Nederlof, Johan M. M. van Rooij
MEMOCODE
2010
IEEE
15 years 4 months ago
A regular expression matching using non-deterministic finite automaton
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura
215
Voted
MICCAI
2010
Springer
15 years 4 months ago
Value-Based Noise Reduction for Low-Dose Dual-Energy Computed Tomography
Abstract. We introduce a value-based noise reduction method for DualEnergy CT applications. It is based on joint intensity statistics estimated from high- and low-energy CT scans o...
Michael Balda, Björn Heismann, Joachim Horneg...
PAAMS
2010
Springer
15 years 4 months ago
Towards Improving Supply Chain Coordination through Agent-Based Simulation
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
Areti Manataki, Yun-Heh Chen-Burger, Michael Rovat...
RTAS
2010
IEEE
15 years 4 months ago
Timing Analysis for TDMA Arbitration in Resource Sharing Systems
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
Andreas Schranzhofer, Jian-Jia Chen, Lothar Thiele