2989 search results - page 120 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
100
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
146
Voted
AFP
2008
Springer
15 years 8 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
137
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
130
Voted
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Problems in which some entities interact with each other are common in computational intelligence. This scenario, typical for co-evolving artificial-life agents, learning strategie...
126
Voted
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...