2335 search results - page 311 / 467 » Type Checking Type Classes |
246
click to vote
SCP
2011
14 years 9 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
169
click to vote
CPAIOR
2011
Springer
14 years 6 months ago
2011
Springer
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
144
click to vote
CLEF
2011
Springer
14 years 2 months ago
2011
Springer
Wikipedia vandalism identification is a very complex issue, which is now mostly solved manually by volunteers. This paper presents the main components of a system built by our grou...
110
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
—One of the major threats to cyber security is the Distributed Denial-of-Service (DDoS) attack. In our previous projects, PacketScore, ALPi, and other statistical filtering-based...
139
click to vote
AINTEC
2007
Springer
15 years 9 months ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...