5030 search results - page 741 / 1006 » cases 2007 |
148
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...
168
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
158
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
180
click to vote
MMM
2007
Springer
16 years 1 months ago
2007
Springer
In this work we present an approach to capture the total semantics in multimedia-multimodal web pages. Our research improves upon the state-ofthe-art with two key features: (1) cap...
159
click to vote
MMM
2007
Springer
16 years 1 months ago
2007
Springer
We propose a method for tracking an object from a video sequence of moving background through the use of the proximate distribution densities of the local regions. The discriminati...