9067 search results - page 511 / 1814 » Adaptive Model Checking |
193
click to vote
COMPSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland ...
224
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
185
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Most tracking algorithms detect moving objects by comparing incoming images against a reference frame. Crucially, this reference image must adapt continuously to the current light...
304
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
An ever increasing amount of valuable information is stored in Web databases, "hidden" behind search interfaces. To save the user's effort in manually exploring eac...
219
click to vote
ALT
2002
Springer
16 years 4 months ago
2002
Springer
We describe a new boosting algorithm that is the first such algorithm to be both smooth and adaptive. These two features make possible performance improvements for many learning ...