693 search results - page 119 / 139 » Minimization and Partitioning Method Reducing Input Sets |
105
click to vote
TVLSI
2008
15 years 1 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
117
click to vote
ICDM
2010
IEEE
14 years 11 months ago
2010
IEEE
Active learning has been proven a reliable strategy to reduce manual efforts in training data labeling. Such strategies incorporate the user as oracle: the classifier selects the m...
103
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...
115
click to vote
INFOVIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Cartographers have long used flow maps to show the movement of objects from one location to another, such as the number of people in a migration, the amount of goods being traded,...
LCN
2008
IEEE
15 years 7 months ago
2008
IEEE
—Tag collisions can impose a major delay in Radio Frequency IDentification (RFID) systems. Such collisions are hard to overcome with passive tags due to their limited capabiliti...