7047 search results - page 297 / 1410 » Focusing on Binding and Computation |
161
click to vote
ACL
2012
13 years 9 months ago
2012
The lack of parallel corpora and linguistic resources for many languages and domains is one of the major obstacles for the further advancement of automated translation. A possible...
194
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
167
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
Scientific workflows play an important role in today’s science. Many disciplines rely on workflow technologies to orchestrate the execution of thousands of computational tasks. ...
169
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Location awareness and mobility are main factors in pervasive computing. There is a lot of work focusing on develop location aware applications. Generalizing from location awarene...
174
click to vote
AINA
2006
IEEE
16 years 22 days ago
2006
IEEE
Intelligent security protocols can verify whether the involved principals have properties that are defined based on certain functional and security policies. The property we focu...