4485 search results - page 734 / 897 » Equivalences on Observable Processes |
176
click to vote
KR
1992
Springer
15 years 10 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...
144
click to vote
ICCHP
2010
Springer
15 years 10 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...
155
click to vote
CANDC
2007
ACM
15 years 10 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, ...
248
click to vote
CF
2007
ACM
15 years 10 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...
167
click to vote
CLUSTER
2009
IEEE
15 years 10 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...