1920 search results - page 179 / 384 » The Range Constraint: Algorithms and Implementation |
133
click to vote
IANDC
2010
15 years 2 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
134
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...
144
click to vote
FPL
2008
Springer
15 years 6 months ago
2008
Springer
An approach is presented for high throughput matching of regular expressions (regexes) by first converting them into corresponding Non-deterministic Finite Automata (NFAs) which a...
121
click to vote
ESA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we will describe some heuristics that can be used to improve the runtime of a wide range of commonly used algorithms for the negative cycle detection problem signi...
141
click to vote
JCST
2008
15 years 4 months ago
2008
Research into ant colony algorithms for solving continuous optimization problems forms one of the most significant and promising areas in swarm computation. Although traditional an...