6279 search results - page 148 / 1256 » Objects as session-typed processes |
169
click to vote
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 5 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
179
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
From conventional wisdom and empirical studies of annotated data, it has been shown that visual statistics such as object frequencies and segment sizes follow power law distributi...
171
click to vote
GEOINFORMATICA
2002
15 years 6 months ago
2002
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
325
click to vote
Book
"There is a very large literature on the theoretical underpinnings of the
wavelet transform. However, theory must be complemented with a significant
amount of practical work...
150
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose a method for detecting digital processing of video such as compositing. Our method is based on a realistic model of charge coupled device (CCD) sensor no...