Searching for authors named " Robby" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
Bandera Specification Language: A Specification Language for Software Model Checking
- …Finite-state verification techniques, such as model checking, are a promising technique for finding defects in software systems. However, there are several obstacles that hinder the application of software model checking in practice. One of the obstacles is the property specification problem: taking…
- Add To MetaCart
-
Object-oriented Instructional Design and Applications to the Web
- …. Authoring and delivery environments for Web-based instruction should be based on information and knowledge constructs and not on the manipulation of data. This higher level approach can be realized using the object-oriented paradigm, not just as applied to software but also to instructional design…
- Cited by 1 (0 self) – Add To MetaCart
-
Report on Learning Technology Standards
- …. Metadata and interoperability standards are essential to support the educational and commercial effectiveness of learning technology. A number of related and cooperating organizations are working to develop such standards. This paper briefly explains why such standards are important, who is inv…
- Cited by 3 (0 self) – Add To MetaCart
-
Selectors Make Analyzing case-lambda Too Hard
- …Flanagan's set-based analysis (SBA) uses selectors to choose data owing through expressions. For example, the rng selector chooses the ranges of procedures owing through an expression. The MrSpidey static debugger for PLT Scheme is based on Flanagan's formalism. In PLT Scheme, a caselambda is a pro…
- Add To MetaCart
-
Illustrated Principles For Web-Based Course Design
- …this paper was delivered under the title "Probability Park".…
- Add To MetaCart
-
Formal software analysis : Emerging trends in software model checking
- …The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide variety of approaches, but techniques based on mathematical modeling of program behavior have been a particular focus since t…
- Cited by 4 (0 self) – Add To MetaCart
-
Separating reflection components of textured surfaces using a single image
- …Abstract—In inhomogeneous objects, highlights are linear combinations of diffuse and specular reflection components. A number of methods have been proposed to separate or decompose these two components. To our knowledge, all methods that use a single input image require explicit color segmentation t…
- Cited by 15 (2 self) – Add To MetaCart
-
What Are the Samples for Learning Efficient Routing Heuristics?
- …In this paper we present a Genetic Algorithm (GA) based approach to learn heuristics for MCM routing. More exactly, given a MCM, the GA learns a heuristics for routing this specific MCM. These heuristics are sequences of some given basic optimization modules (BOMs).…
- Add To MetaCart
-
On the construction of fine automata for safety properties
- …Abstract. Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property ψ can be associated with a set of bad prefixes: a set of finite computations such that an infinite computation violates ψ iff it has …
- Cited by 2 (2 self) – Add To MetaCart
-
Separating Diffuse and Specular Reflection Components based on Surface Color Ratio and Chromaticity
- …A method to separate diffuse and specular reflection components is presented. The method is based on color, particularly on surface color ratio and chromaticity. We define surface color ratio as an invariant to specularity, shading and shadow and use it to detect diffuse pixels. There are three prin…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
