2162 search results - page 276 / 433 » Automated Reasoning on Feature Models |
153
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
134
click to vote
BMCBI
2008
15 years 5 months ago
2008
In this paper we present preliminary results stemming from a novel application of Markov Models and Support Vector Machines to splice site classification of Intron-Exon and Exon-I...
127
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Emerging organic light-emitting diode (OLED)-based displays obviate external lighting; and consume drastically different power when displaying different colors, due to their emiss...
139
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
133
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...