5550 search results - page 624 / 1110 » Different Approaches to Proof Systems |
221
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Object recognition is a challenging problem for artificial systems. This is especially true for objects that are placed in cluttered and uncontrolled environments. To challenge...
191
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
While exploring value webs -cooperating enterprises- it is common to view such webs from multiple perspectives: (1) the business value perspective, (2) the business process perspe...
161
click to vote
ACII
2007
Springer
16 years 1 months ago
2007
Springer
Text is not only an important medium to describe facts and events, but also to effectively communicate information about the writer’s (positive or negative) sentiment underlying ...
157
click to vote
ISCA
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the key challenges for high-density servers (e.g., blades) is the increased costs in addressing the power and heat density associated with compaction. Prior approaches have...
169
click to vote
C5
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper describes our approach of utilizing a computational environment to apply a learner’s learning process as a first class object. With this approach, the learner’s le...