4460 search results - page 474 / 892 » Formal methods for interactive systems |
179
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
A widely used defense practice against malicious traffic on the Internet is to maintain blacklists, i.e., lists of prolific attack sources that have generated malicious activity in...
202
Voted
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
203
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Motion capturing has become an important tool in fields such as sports sciences, biometrics, and particularly in computer animation, where large collections of motion material are ...
197
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
177
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
There has been a great amount of work on query-independent summarization of documents. However, due to the success of Web search engines query-specific document summarization (que...