Sciweavers

2148 search results - page 316 / 430
» From process logic to program logic
Sort
View
EDM
2010
165views Data Mining» more  EDM 2010»
13 years 9 months ago
Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems
A Bayesian Knowledge Base is a generalization of traditional Bayesian Networks where nodes or groups of nodes have independence. In this paper we describe a method of generating a ...
John C. Stamper, Tiffany Barnes, Marvin J. Croy
DS
2001
118views Database» more  DS 2001»
13 years 9 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
JISBD
2001
13 years 9 months ago
Migration of Legacy Systems to the Web
Migration of Legacy Systems to the Web is one of the main concerns of enterprises looking for more flexible distributed application environments. This migration process comprises t...
Cristina Cachero, Jaime Gómez, Antonio P&aa...
WM
2003
13 years 9 months ago
Integration with Ontologies
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
Andreas Maier, Jessica Aguado, Amaia Bernaras, I&n...
IANDC
2006
93views more  IANDC 2006»
13 years 8 months ago
Automation for interactive proof: First prototype
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
Jia Meng, Claire Quigley, Lawrence C. Paulson