2748 search results - page 141 / 550 » Generating Object-Z Specifications from Use Cases |
86
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
The technology of color filter arrays (CFA) has been widely used in the digital camera industry since it provides several advantages like low cost, exact registration, and strong ...
134
Voted
JMLR
2010
14 years 7 months ago
2010
We introduce a simple order-based greedy heuristic for learning discriminative structure within generative Bayesian network classifiers. We propose two methods for establishing an...
105
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
136
Voted
INFSOF
2011
14 years 7 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
100
Voted
FOCS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we set forth a new algorithm for generating approximately uniformly random spanning trees in undirected graphs. We show how to sample from a distribution that is wi...