158 search results - page 14 / 32 » Strong logics of first and second order |
151
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
136
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
The design of future high-performance embedded systems is hampered by two problems: First, the required hardware needs more energy than is available from batteries. Second, curren...
158
click to vote
ICPP
1990
IEEE
15 years 10 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
157
click to vote
JUCS
2006
15 years 6 months ago
2006
: This study represents a survey approach in order to analyse the information society in a regional setting. The first part deals with a current problematic issue: the human resour...
161
click to vote
ICRA
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we propose a human daily activity recognition method by fusing the data from two wearable inertial sensors attached on one foot and the waist of the human subject, r...