Sciweavers

192 search results - page 27 / 39
» Interactive Modeling of Tree Bark
Sort
View
CP
2000
Springer
15 years 4 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 3 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 5 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 3 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»
15 years 1 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