1902 search results - page 221 / 381 » Information Integration Architecture Development: A Multi-Ag... |
193
click to vote
IJCV
2006
15 years 4 months ago
2006
Subspacefacerecognitionoftensuffersfromtwoproblems:(1)thetrainingsamplesetissmallcompared with the high dimensional feature vector; (2) the performance is sensitive to the subspace...
154
click to vote
JLP
2006
15 years 4 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
202
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
174
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...