2520 search results - page 425 / 504 » Model-checking behavioral programs |
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— We address the problem of scheduling multiple traffic streams associated with target profiles on a shared wireless link, arising in real-time applications with soft/flexible...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents applications for dealing with videos on the web, using an efficient technique for video copy detection in large archives. Managing videos on the web is the so...
ICPP
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents COBRA (Continuous Binary ReAdaptation), a runtime binary optimization framework, for multithreaded applications. It is currently implemented on Itanium 2 based...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Machines might physically interact with humans more smoothly if we better understood the subtlety of humanhuman physical interaction. We recently reported that two people worki...
ICTAI
2007
IEEE
14 years 4 months ago
2007
IEEE
An adaptive boosting ensemble algorithm for classifying homogeneous distributed data streams is presented. The method builds an ensemble of classifiers by using Genetic Programmi...