5550 search results - page 256 / 1110 » Different Approaches to Proof Systems |
167
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
184
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
156
click to vote
IWPC
2005
IEEE
16 years 6 days ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
194
click to vote
DPD
2010
15 years 4 months ago
2010
In distributed database systems, tables are frequently fragmented and replicated over a number of sites in order to reduce network communication costs. How to fragment, when to rep...
187
Voted
IWCMC
2009
ACM
15 years 11 months ago
2009
ACM
Abstract- In this paper, we investigate the use of a crosslayer allocation mechanism for the high-rate ultra-wideband (UWB) systems. The aim of this paper is twofold. First, throug...