358 search results - page 32 / 72 » Science Investigation System for Telescopes in Education Res... |
166
Voted
CSR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
153
click to vote
DESRIST
2010
Springer
15 years 11 months ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...
201
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
160
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
224
click to vote
DILS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...