292 search results - page 34 / 59 » Proving Consistency of Pure Methods and Model Fields |
91
Voted
STTT
2010
14 years 8 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
74
Voted
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A quadratic programming formulation for multiclass image segmentation is investigated. It is proved that, in the convex case, the non-negativity constraint on the recent reported ...
121
click to vote
MM
2006
ACM
15 years 3 months ago
2006
ACM
Segmentation of video foreground objects from background has many important applications, such as human computer interaction, video compression, multimedia content editing and man...