Sciweavers

192 search results - page 27 / 39
» Interactive Modeling of Tree Bark
Sort
View
CP
2000
Springer
15 years 1 months ago
Practical Investigation of Constraints with Graph Views
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
Tobias Müller
POPL
1991
ACM
15 years 1 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
ESAW
2005
Springer
15 years 3 months ago
Predicting Exceptions in Agent-Based Supply-Chains
Abstract. Exceptions occur frequently in supply-chains. Consequently, detecting exceptions timely is of great practical value. To enable a timely detection of exceptions, this pape...
Albert Özkohen, Pinar Yolum
VLDB
1995
ACM
132views Database» more  VLDB 1995»
15 years 1 months ago
Coloring Away Communication in Parallel Query Optimization
We address the problem of finding parallel plans for SQL queries using the two-phase approach of join ordering and query rewrite (JOQR) followed by parallelization. We focus on t...
Waqar Hasan, Rajeev Motwani
PGLDB
2003
151views Database» more  PGLDB 2003»
14 years 11 months ago
Web-service-based, Dynamic and Collaborative E-learning
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
Stanley Y. W. Su, Gilliean Lee