Sciweavers

4488 search results - page 527 / 898
» Properties of NP-Complete Sets
Sort
View
ICTAI
2007
IEEE
16 years 1 months ago
Knowledge Based Mechanisms for Tutoring Systems in Science and Engineering
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
Chun Wai Liew, Joel A. Shapiro, Donald E. Smith
ISVD
2007
IEEE
16 years 1 months ago
Voronoi Diagram with Respect to Criteria on Vision Information
Voronoi diagram for a set of geometric objects is a partition of the plane (or space in higher dimensions) into disjoint regions each dominated by some given object under a predet...
Tetsuo Asano, Naoki Katoh, Hisao Tamaki, Takeshi T...
RTSS
2007
IEEE
16 years 1 months ago
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems
— We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
SMI
2007
IEEE
164views Image Analysis» more  SMI 2007»
16 years 1 months ago
Automatic multiview quadruple alignment of unordered range scans
This paper presents a new multiview alignment algorithm that performs both the coarse and fine alignment of unordered sets of range scans. Our algorithm selects quadruples of ran...
Frank B. ter Haar, Remco C. Veltkamp
167
Voted
CSL
2007
Springer
16 years 1 months ago
Not Enough Points Is Enough
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...