4408 search results - page 449 / 882 » Developing Web Applications from Conceptual Models |
183
click to vote
CADE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
179
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...
211
click to vote
AIPR
2006
IEEE
16 years 27 days ago
2006
IEEE
The National Institute of Standards and Technology is involved in developing standard protocols for the performance evaluation of 3D imaging systems, which include laser scanners ...
211
click to vote
SYNTHESE
2008
2008
How experimental algorithmics can benefit from Mayo's extensions to Neyman-Pearson theory of testing
15 years 6 months ago
Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Exp...
200
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
This paper provides algorithms that use an information-theoretic analysis to learn Bayesian network structures from data. Based on our three-phase learning framework, we develop e...