1176 search results - page 145 / 236 » Implicit Abstraction Heuristics |
96
Voted
RECOMB
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. The objective function of the genome rearrangement problems allows the integration of other genome-level problems so that they may be solved simultaneously. Three example...
102
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
103
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
79
Voted
PAM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Detecting clients with deviant behavior in the Bittorrent network is a challenging task that has not received the deserved attention. Typically, this question is seen as ...
79
Voted
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this work we introduce a new generalization of the ResourceConstrained Project Scheduling Problem – the Mobile Workforce Scheduling Problem with Multitask-Processes ...