1941 search results - page 309 / 389 » Reasoning about Computations Using Two-Levels of Logic |
137
Voted
AI
2007
Springer
15 years 3 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
135
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
131
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Security and privacy issues for Location-Based Services (LBS) and geolocation-capable applications often revolve around designing a User Interface (UI) such that users are informe...
131
Voted
POLICY
2007
Springer
15 years 9 months ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
111
click to vote
ECIS
2000
15 years 4 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...