6274 search results - page 928 / 1255 » Proofs, Programs, Processes |
178
Voted
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...
139
click to vote
ESA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
111
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...
145
Voted
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
128
Voted
AAAI
2010
15 years 4 months ago
2010
Software developers increasingly rely on information from the Web, such as documents or code examples on Application Programming Interfaces (APIs), to facilitate their development...