8496 search results - page 1476 / 1700 » Problem Solving and Complex Systems |
155
click to vote
LPNMR
2007
Springer
16 years 19 days ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
186
click to vote
CCGRID
2006
IEEE
16 years 17 days ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
207
click to vote
PODC
2006
ACM
16 years 14 days ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...
179
click to vote
ISCA
2005
IEEE
16 years 2 days ago
2005
IEEE
Network Intrusion Detection and Prevention Systems have emerged as one of the most effective ways of providing security to those connected to the network, and at the heart of alm...
153
click to vote
ISMIR
2005
Springer
16 years 5 hour ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...