1581 search results - page 293 / 317 » Mechanizing Inductive Reasoning |
103
click to vote
FMICS
2007
Springer
15 years 3 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
ISW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
100
click to vote
RWEB
2007
Springer
15 years 3 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
70
Voted
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Grasp quality measures are important for understanding how to plan for and maintain appropriate and secure grasps for pick and place operations and tool use. Most grasp...
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...