5550 search results - page 813 / 1110 » Different Approaches to Proof Systems |
187
click to vote
ICCS
1997
Springer
15 years 10 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
218
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Recognition systems attempt to recover information about the identity of observed objects and their location in the environment. A fundamental problem in recognition is pose estima...
253
click to vote
MJ
2011
15 years 1 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
154
Voted
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Internet and the World Wide Web have enabled a publishing explosion of useful online information, which has produced the unfortunate side effect of information overload: it is...
189
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...