Sciweavers

5251 search results - page 739 / 1051
» A Framework for Ontology Integration
Sort
View
ACSAC
2005
IEEE
16 years 1 months ago
Building Evidence Graphs for Network Forensics Analysis
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
Wei Wang, Thomas E. Daniels
APSEC
2005
IEEE
16 years 1 months ago
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
Vladimir Mencl, Tomás Bures
CRV
2005
IEEE
181views Robotics» more  CRV 2005»
16 years 1 months ago
New Multi-baseline Stereo by Counting Interest Points
This paper proposes a novel method for estimating depth from a long image sequence captured by a moving camera. Our idea for estimating a depth map is very simple; only counting i...
Tomokazu Sato, Naokazu Yokoya
CW
2005
IEEE
16 years 1 months ago
Web-Based Configure-to-Order Platform for Collaborative Development of Customized Products
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
Roger Jianxin Jiao, Martin G. Helander, Lianfeng Z...
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
16 years 1 months ago
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
Vasco M. Manquinho, João P. Marques Silva