10289 search results - page 1932 / 2058 » Standard bases in K |
195
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
Cloud computing allows the use of Internet-based services to support business processes and rental of IT-services on a utility-like basis. It offers a concentration of resources bu...
297
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
Entities (e.g., users, services) have to authenticate themselves to service providers (SPs) in order to use their services. An entity provides personally identifiable information (...
170
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
193
click to vote
AND
2009
15 years 4 months ago
2009
In this paper we propose a new approach to capture the inclination towards a certain election candidate from the contents of blogs and to explain why that inclination may be so. T...
169
click to vote
BC
2010
15 years 3 months ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...