7195 search results - page 566 / 1439 » On Computing Power |
181
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
177
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
151
click to vote
IBMRD
2006
15 years 7 months ago
2006
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
236
click to vote
ACL
2009
15 years 5 months ago
2009
We describe Joshua (Li et al., 2009a)1, an open source toolkit for statistical machine translation. Joshua implements all of the algorithms required for translation via synchronou...
243
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...