3443 search results - page 442 / 689 » More Algebras for Determiners |
159
click to vote
ADC
2004
Springer
16 years 1 days ago
2004
Springer
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
169
click to vote
APPROX
2004
Springer
16 years 1 days ago
2004
Springer
While it is exponentially unlikely that a sparse random graph or hypergraph is connected, with probability 1 − o(1) such a graph has a “giant component” that, given its numbe...
156
click to vote
ASIAN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We give conditions for hash table probing which minimize the expected number of collisions. A probing algorithm is determined by a sequence of numbers denoting jumps for ...
157
click to vote
AUSAI
2004
Springer
16 years 23 hour ago
2004
Springer
Most propagation-based set constraint solvers approximate the set of possible sets that a variable can take by upper and lower bounds, and perform so-called set bounds propagation....
188
click to vote
FMCO
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...