2162 search results - page 269 / 433 » Automated Reasoning on Feature Models |
144
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
The case-based reasoning approach to email response consists of reusing past messages to synthesize new responses to incoming requests. This task presents various challenges due to...
151
click to vote
JSW
2008
15 years 4 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
149
click to vote
ECRA
2002
15 years 4 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
146
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
160
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Flash-crowd attacks are the most vicious form of distributed denial of service (DDoS). They flood the victim with service requests generated from numerous bots. Attack requests...