4150 search results - page 130 / 830 » A Practical Approach to Model Extension |
151
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
119
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
118
Voted
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
147
Voted
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
113
Voted
CONEXT
2007
ACM
15 years 7 months ago
2007
ACM
Motivated by the wide use of TCP for streaming in practice and the increasing availability of multipath between end hosts, we study multipath live streaming via TCP in this paper....