3082 search results - page 535 / 617 » Deviation Analysis: A New Use of Model Checking |
108
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The measure and conquer approach has proven to be a powerful tool to analyse exact algorithms for combinatorial problems, like Dominating Set and Independent Set. In this paper, we...
VR
2010
IEEE
14 years 10 months ago
2010
IEEE
Virtual reconstruction and representation of historical environments and objects have been of research interest for nearly two decades. Physically-based and historically accurate ...
97
Voted
IKE
2010
14 years 9 months ago
2010
Contextual processing is a new emerging field based on the notion that information surrounding an event lends new meaning to the interpretation of the event. Data mining is the pr...
116
click to vote
JCIT
2010
14 years 6 months ago
2010
With the development of telecom business, customer churn prediction becomes more and more important. An outstanding issue in customer churn prediction is high dimensional problem....
118
Voted
TDP
2010
14 years 6 months ago
2010
In recent years, spatio-temporal and moving objects databases have gained considerable interest, due to the diffusion of mobile devices (e.g., mobile phones, RFID devices and GPS ...