3973 search results - page 617 / 795 » Records for Logic Programming |
139
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
156
click to vote
HHCI
2000
15 years 7 months ago
2000
Using virtual objects that provided haptic feedback we studied two-fingered movements of reaching to grasp and lift an object. These reach-grasp-lift movements were directed to ob...
151
click to vote
HIPC
2000
Springer
15 years 7 months ago
2000
Springer
Many scientific applications manipulate large amount of data and, therefore, are parallelized on high-performance computing systems to take advantage of their computational power a...
116
click to vote
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
131
click to vote
ICTAI
1997
IEEE
15 years 7 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...