4485 search results - page 734 / 897 » Equivalences on Observable Processes |
142
Voted
KR
1992
Springer
15 years 7 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
117
Voted
ICCHP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Web accessibility and usability problems can make evaluation difficult for non-experts who may be unfamiliar with assistive technology. Developers often (i) lack easy acc...
119
Voted
CANDC
2007
ACM
15 years 7 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
188
Voted
CF
2007
ACM
15 years 7 months ago
2007
ACM
We propose an application specific processor for computational quantum chemistry. The kernel of interest is the computation of electron repulsion integrals (ERIs), which vary in c...
129
Voted
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- Flash-based solid state disks (SSDs) are an alternative form of storage device that promises to deliver higher performance than the traditional mechanically rotating har...