Sciweavers

1173 search results - page 49 / 235
» Filtering Test Models to Support Incremental Testing
Sort
View
ADC
2006
Springer
156views Database» more  ADC 2006»
15 years 8 months ago
A new approach to intelligent text filtering based on novelty detection
This paper presents an original approach to modelling user’s information need in text filtering environment. This approach relies on a specific novelty detection model which a...
Randa Kassab, Jean-Charles Lamirel
WECWIS
2002
IEEE
129views ECommerce» more  WECWIS 2002»
15 years 7 months ago
On the Sensitivity of Incremental Algorithms for Combinatorial Auctions
Despite the large amounts of runtime needed to adequately solve a combinatorial auction (CA), existing iterative CA auction protocols require winner determination during every rou...
Ryan Kastner, Christina Hsieh, Miodrag Potkonjak, ...
FORTE
2008
15 years 3 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
ICRA
2005
IEEE
105views Robotics» more  ICRA 2005»
15 years 8 months ago
A New Approach to the Use of Edge Extremities for Model-based Object Tracking
— This paper presents a robust model-based visual tracking algorithm that can give accurate 3D pose of a rigid object. Our tracking algorithm uses an incremental pose update sche...
Youngrock Yoon, Akio Kosaka, Jae Byung Park, Avina...
OOPSLA
2005
Springer
15 years 8 months ago
MDAbench: a tool for customized benchmark generation using MDA
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui