1980 search results - page 303 / 396 » Compositional Model Checking of Real Time Systems |
134
click to vote
AIRS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Collaborative filtering is a major technique to make personalized recommendations about information items (movies, books, webpages etc) to individual users. In the liter...
123
click to vote
EDBT
2000
ACM
15 years 6 months ago
2000
ACM
OLAP applications use precomputation of aggregate data to improve query response time. While this problem has been well-studied in the recent database literature, to our knowledge ...
134
click to vote
GI
2009
Springer
15 years 29 days ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
141
click to vote
IVC
2011
14 years 10 months ago
2011
In this paper a facial feature point tracker that is motivated by applications such as human-computer interfaces and facial expression analysis systems is proposed. The proposed t...
134
click to vote
APWEB
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...