3082 search results - page 609 / 617 » Deviation Analysis: A New Use of Model Checking |
102
click to vote
IADIS
2004
15 years 1 months ago
2004
In the preparation of technology transition, the contextual and alternative definitions of the usability heuristics of multifaceted role of the best practice methodology of Teleco...
113
Voted
PAMI
2002
14 years 11 months ago
2002
Decomposing video frames into coherent two-dimensional motion layers is a powerful method for representing videos. Such a representation provides an intermediate description that e...
121
click to vote
IFIP12
2009
14 years 9 months ago
2009
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
103
click to vote
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
Evaluating rankers using implicit feedback, such as clicks on documents in a result list, is an increasingly popular alternative to traditional evaluation methods based on explici...
109
click to vote
WWW
2007
ACM
16 years 10 days ago
2007
ACM
Extractors and taggers turn unstructured text into entityrelation (ER) graphs where nodes are entities (email, paper, person, conference, company) and edges are relations (wrote, ...