5608 search results - page 259 / 1122 » On the Theory of Matchgate Computations |
200
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Database technology is the significant part of computer science and technology, as the core technology of information management, database technology is widely used in the field...
159
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
175
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Our research seeks to understand how to extend established organization theory and emerging knowledgeflow theory to inform the design of organizations with discontinuous participa...
198
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
128
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...