4636 search results - page 553 / 928 » Modelling and Validation with VipTool |
260
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
233
click to vote
PRL
2010
15 years 6 months ago
2010
: Single training image face recognition is one of main challenges to appearance-based pattern recognition techniques. Many classical dimensionality reduction methods such as LDA h...
254
click to vote
SOCO
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
248
click to vote
TIFS
2010
15 years 6 months ago
2010
—The multipath-rich wireless environment associated with typical wireless usage scenarios is characterized by a fading channel response that is time-varying, location-sensitive, ...
227
click to vote
TMC
2010
15 years 6 months ago
2010
—Many wireless sensor networks require sufficient sensing coverage over long periods of time. To conserve energy, a coverage maintenance protocol achieves desired coverage by act...