5722 search results - page 413 / 1145 » the future of experimental research |
148
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
159
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
140
click to vote
EGOV
2007
Springer
16 years 1 months ago
2007
Springer
In most countries, the maturity of eService delivery is measured by the supply of electronic service delivery. However, in many countries there is a gap between the supply and dema...
176
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores the opportunities and challenges for Conceptual Modeling in the domain of Virtual Reality (VR). VR applications are becoming more feasible due to better and fa...
205
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...