23413 search results - page 4434 / 4683 » or 2005 |
213
click to vote
COMPLIFE
2005
Springer
16 years 25 days ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
250
click to vote
CONCUR
2005
Springer
16 years 25 days ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
168
click to vote
CONTEXT
2005
Springer
16 years 25 days ago
2005
Springer
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is inadequate in order to represent context-dependent modals. ...
241
click to vote
CP
2005
Springer
16 years 25 days ago
2005
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
190
click to vote
CP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...