3831 search results - page 226 / 767 » Dynamic Context Logic |
149
click to vote
CATS
2006
15 years 7 months ago
2006
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe (Fagin 1977, Zaniolo 1976). Whi...
171
click to vote
IJCAI
1993
15 years 7 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
167
click to vote
IOR
2007
15 years 5 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
249
click to vote
ASC
2007
16 years 4 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
170
click to vote
FMCO
2007
Springer
15 years 12 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...