5269 search results - page 368 / 1054 » order 2007 |
196
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
187
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Social bookmarking services have become recently popular in the Web. Along with the rapid increase in the amount of social bookmarks, future applications could leverage this data f...
212
click to vote
IESS
2007
Springer
16 years 1 months ago
2007
Springer
This work investigates the use of reconfigurable devices as computing platform for self-organizing embedded systems. Those usually consist of a set of distributed, autonomous node...
202
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
200
click to vote
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
Motivated by the current limitations of automated quantitative image analysis in discriminating among intracellular immunohistochemical (IHC) staining patterns, this paper presents...