7117 search results - page 1068 / 1424 » IT Governance Frameworks as Methods |
235
click to vote
LICS
2002
IEEE
16 years 15 days ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
237
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
201
click to vote
INFOCOM
1999
IEEE
15 years 12 months ago
1999
IEEE
The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by ...
222
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes our work in learning online models that forecast real-valued variables in a high-dimensional space. A 3GB database was collected by sampling 421 real-valued s...
238
click to vote
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
In search engines, ranking algorithms measure the importance and relevance of documents mainly based on the contents and relationships between documents. User attributes are usual...