4949 search results - page 665 / 990 » Consistency and Set Intersection |
307
click to vote
SERA
2007
Springer
16 years 24 days ago
2007
Springer
Capacity planning is a technique which can be used to predict the computing resource needs of an organization for the future after studying current usage patterns. This is of spec...
176
click to vote
SGAI
2007
Springer
16 years 24 days ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...
204
click to vote
TABLEAUX
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
167
click to vote
TGC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
209
click to vote
UCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...