4166 search results - page 248 / 834 » Automating the constraining process |
149
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
149
click to vote
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Ontologies already created in recent Sem...
131
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
116
click to vote
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
Robust transmission of images is achieved by using xed and variable-length coding together without much loss in compression e ciency. The probability distribution function of a DC...
121
click to vote
DAGM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...