7489 search results - page 1255 / 1498 » Challenges for biologically-inspired computing |
154
click to vote
DLOG
2004
15 years 7 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
158
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we study a service procurement problem with uncertainty as to whether service providers are capable of completing a given task within a specified deadline. This typ...
182
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
As the number of cores inside compute clusters continues to grow, the scalability of MPI (Message Passing Interface) is important to ensure that programs can continue to execute o...
191
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
The rapid adoption of location tracking and mobile social networking technologies raises significant privacy challenges. Today our understanding of people's location sharing ...
165
Voted
HUC
2010
Springer
15 years 7 months ago
2010
Springer
A fairly common modern setting entails users, each in possession of a personal wireless device, wanting to communicate securely, via their devices. If these users (and their devic...