7602 search results - page 1256 / 1521 » A New Approach to Base Revision |
193
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
201
click to vote
UCS
2007
Springer
16 years 24 days ago
2007
Springer
Ubiquitous computing environments are highly dynamic by nature. Services provided by different devices can appear and disappear as, for example, devices join and leave these envir...
176
click to vote
WEBI
2007
Springer
16 years 24 days ago
2007
Springer
Nonnegative Matrix Factorization (NMF) has been proven to be effective in text mining. However, since NMF is a well-known unsupervised components analysis technique, the existing ...
164
click to vote
AICT
2006
IEEE
16 years 23 days ago
2006
IEEE
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...
177
click to vote
CCGRID
2006
IEEE
16 years 22 days ago
2006
IEEE
The applicability of network-based computing depends on the availability of the underlying network bandwidth. However, network resources are shared and the available network bandw...