693 search results - page 119 / 139 » Minimization and Partitioning Method Reducing Input Sets |
129
click to vote
TVLSI
2008
15 years 4 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...
151
click to vote
ICDM
2010
IEEE
15 years 2 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...
127
click to vote
WWW
2008
ACM
16 years 5 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...
141
click to vote
INFOVIS
2005
IEEE
15 years 10 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,...
117
click to vote
LCN
2008
IEEE
15 years 10 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...