3256 search results - page 650 / 652 » Applications of Formal Methods to System Design and Verifica... |
ICSOC
2009
Springer
13 years 5 months ago
2009
Springer
Identifying, gathering, and maintaining information on the current, planned, and target states of the architecture of an enterprise is one major challenge of enterprise architectur...
TKDE
2011
13 years 2 months ago
2011
—In reality, spatial objects (e.g., hotels) not only have spatial locations but also have quality attributes (e.g., price, star). An object p is said to dominate another one p , ...
TMM
2011
13 years 2 months ago
2011
—Visual categorization is important to manage large collections of digital images and video, where textual metadata is often incomplete or simply unavailable. The bag-of-words mo...
TIP
2010
13 years 2 months ago
2010
Multiplicative noise (also known as speckle noise) models are central to the study of coherent imaging systems, such as synthetic aperture radar and sonar, and ultrasound and laser...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Most of recommender systems try to find items that are most relevant to the older choices of a given user. Here we focus on the "surprise me" query: A user may be bored ...