3311 search results - page 212 / 663 » Deductive Object Programming |
103
click to vote
MODELLIERUNG
2001
15 years 3 months ago
2001
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
109
click to vote
ENTCS
2006
15 years 2 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
120
click to vote
ICPR
2010
IEEE
15 years 6 days ago
2010
IEEE
Although Support Vector Machines(SVM) succeed in classifying several image databases using image descriptors proposed in the literature, no single descriptor can be optimal for ge...
165
click to vote
CVPR
2011
IEEE
14 years 12 months ago
2011
IEEE
We analyze the computational problem of multi-object tracking in video sequences. We formulate the problem using a cost function that requires estimating the number of tracks, as ...
AUIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...