5550 search results - page 1053 / 1110 » Different Approaches to Proof Systems |
113
click to vote
INFOCOM
2012
IEEE
13 years 18 days ago
2012
IEEE
—Traditional approaches for wireless sensor network diagnosis are mainly sink-based. They actively collect global evidences from sensor nodes to the sink so as to conduct central...
119
click to vote
AAAI
2012
13 years 16 days ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider the problem of solving different pose and registration problems under rotational constraints. Traditionally, methods such as the iterative closest point ...
67
Voted
DAC
2005
ACM
15 years 11 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...