5630 search results - page 184 / 1126 » Computability in Specification |
152
click to vote
AINA
2003
IEEE
15 years 8 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
130
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper we present a principled Bayesian method for detecting and segmenting instances of a particular object category within an image, providing a coherent methodology for ...
143
Voted
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
139
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
138
click to vote
COMSIS
2010
15 years 2 months ago
2010
Abstract. Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions an...