13917 search results - page 2567 / 2784 » Abstraction of Probabilistic Systems |
254
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
208
click to vote
CEC
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
248
click to vote
CLEF
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. This paper presents a language-independent Multilingual Document Clustering (MDC) approach on comparable corpora. Named entites (NEs) such as persons, locations, organiza...
240
click to vote
CP
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In this paper we present a model for the carpet cutting problem in which carpet shapes are cut from a rectangular carpet roll with a fixed width and sufficiently long le...
213
click to vote
EDOC
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Open Web-based and social platforms dramatically influence models of work. Today, there is an increasing interest in outsourcing tasks to crowdsourcing environments tha...