3424 search results - page 394 / 685 » Automated Testing of Classes |
139
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
187
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
143
click to vote
ASUNAM
2009
IEEE
16 years 1 months ago
2009
IEEE
With few exceptions, statistical analysis of social networks is currently focused on cross-sectional or panel data. On the other hand, automated collection of network-data often p...
156
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
186
click to vote
WIAMIS
2009
IEEE
16 years 29 days ago
2009
IEEE
In this work a framework for constructing object detection classifiers using weakly annotated social data is proposed. Social information is combined with computer vision techniq...