21324 search results - page 498 / 4265 » Making the case for computing |
222
click to vote
SCCC
2005
IEEE
16 years 19 days ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
179
click to vote
GG
2004
Springer
16 years 14 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
190
click to vote
CA
2003
IEEE
16 years 11 days ago
2003
IEEE
This research explores ways of harnessing people’s passion for entertainment in order to stimulate players to attain the meta-learning skills they need for lifelong learning and...
232
click to vote
LCN
2003
IEEE
16 years 10 days ago
2003
IEEE
A wireless sensor network is a special kind of ad-hoc network with distributed sensing and processing capability that can be used in a wide range of applications, such as environm...
179
click to vote
ECCV
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...