553 search results - page 53 / 111 » Learning Meets Verification |
RE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Traceability from requirements to code is mandated by numerous software development standards. These standards, however, are not explicit about the appropriate level of q...
CEAS
2005
Springer
14 years 3 months ago
2005
Springer
Today’s email clients were designed for yesterday’s email. Originally, email was merely a communication medium. Today, people engage in a variety of complex behaviours using e...
NIPS
2004
13 years 11 months ago
2004
We introduce a novel active-learning scenario in which a user wants to work with a learning algorithm to identify useful anomalies. These are distinguished from the traditional st...
COMSUR
2008
13 years 10 months ago
2008
The research community has begun looking for IP traffic classification techniques that do not rely on `well known' TCP or UDP port numbers, or interpreting the contents of pac...
TON
2010
13 years 4 months ago
2010
Aggregate traffic loads and topology in multi-hop wireless networks may vary slowly, permitting MAC protocols to `learn' how to spatially coordinate and adapt contention patte...