Sciweavers

510 search results - page 75 / 102
» Invariant Features from Interest Point Groups
Sort
View

Book
290views
15 years 8 months ago
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scient...
Simon Thompson
WCRE
2007
IEEE
14 years 4 months ago
Parametric Process Model Inference
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
Saurabh Sinha, G. Ramalingam, Raghavan Komondoor
ENTCS
2008
97views more  ENTCS 2008»
13 years 10 months ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic
KES
2004
Springer
14 years 3 months ago
Chance Discovery with Emergence of Future Scenarios
A "chance" is an event or a situation significant for making a decision in a complex environment. Since we organized a session of Chance Discovery in KES 2000, the basic...
Yukio Ohsawa
JAT
2007
55views more  JAT 2007»
13 years 9 months ago
The Homogeneous Approximation Property for wavelet frames
An irregular wavelet frame has the form W(ψ, Λ) = {a−1/2 ψ(x a − b)}(a,b)∈Λ, where ψ ∈ L2 (R) and Λ is an arbitrary sequence of points in the affine group A = R+ × ...
Christopher Heil, Gitta Kutyniok