2335 search results - page 311 / 467 » Type Checking Type Classes |
222
Voted
SCP
2011
14 years 7 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...
150
click to vote
CPAIOR
2011
Springer
14 years 4 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...
125
Voted
CLEF
2011
Springer
14 years 19 days 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...
92
Voted
ICC
2008
IEEE
15 years 7 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...
124
click to vote
AINTEC
2007
Springer
15 years 7 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 ...