4224 search results - page 377 / 845 » Reasoning about Choice |
170
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...
220
click to vote
LPNMR
2005
Springer
16 years 1 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
194
click to vote
PVM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
180
click to vote
RAID
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
184
click to vote
AIRS
2004
Springer
16 years 1 months ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...