2500 search results - page 295 / 500 » Specifying Behavior in C |
145
click to vote
LOGCOM
2002
15 years 3 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
129
click to vote
JSS
1998
15 years 3 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
144
click to vote
ML
2002
ACM
15 years 3 months ago
2002
ACM
I describe a framework for interpreting Support Vector Machines (SVMs) as maximum a posteriori (MAP) solutions to inference problems with Gaussian Process priors. This probabilisti...
130
click to vote
TIP
1998
15 years 3 months ago
1998
Accurate segmentation of images is one of the most important objectives in image analysis. The two conventional methods of image segmentation, region based segmentation and bounda...
114
click to vote
SOSYM
2002
15 years 3 months ago
2002
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...