11462 search results - page 1970 / 2293 » Developing Application-Centric Methods |
169
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
177
click to vote
CVIU
2006
15 years 6 months ago
2006
Statistical shape-and-texture appearance models use image morphing to define a rich, compact representation of object appearance. They are useful in a variety of applications incl...
192
click to vote
DKE
2006
15 years 6 months ago
2006
In recent years, the management and processing of so-called data streams has become a topic of active research in several fields of computer science such as, e.g., distributed sys...
163
click to vote
IIE
2008
15 years 6 months ago
2008
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...
197
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...