4036 search results - page 677 / 808 » Formal Methods |
181
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...
160
click to vote
INFOCOM
2008
IEEE
16 years 24 days ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...
156
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
167
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
169
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...