Sciweavers

2738 search results - page 53 / 548
» The Frobenius Problem and Its Generalizations
Sort
View
ICFEM
2000
Springer
13 years 11 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
ITS
2004
Springer
155views Multimedia» more  ITS 2004»
14 years 1 months ago
Modeling the Development of Problem Solving Skills in Chemistry with a Web-Based Tutor
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
Ron Stevens, Amy Soller, Melanie Cooper, Marcia Sp...
VLDB
1991
ACM
101views Database» more  VLDB 1991»
13 years 11 months ago
Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language
Domain mismatch and schema mismatch are two of the important semantic integration problems for interoperating heterogeneous databases. This paper structures the domain mismatch pr...
William Kent
MST
2010
117views more  MST 2010»
13 years 2 months ago
The 1-Versus-2 Queries Problem Revisited
The 1-versus-2 queries problem, which has been extensively studied in computational complexity theory, asks in its generality whether every efficient algorithm that makes at most 2...
Rahul Tripathi
KR
2010
Springer
14 years 14 days ago
Taxonomy of Improvement Operators and the Problem of Minimal Change
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
Sébastien Konieczny, Mattia Medina Grespan,...