286 search results - page 36 / 58 » A Loop-Aware Search Strategy for Automated Performance Analy... |
ARTS
1999
Springer
13 years 12 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
RIDE
2002
IEEE
14 years 14 days ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
We argue that expert finding is sensitive to multiple document features in an organization, and therefore, can benefit from the incorporation of these document features. We propos...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Online advertising supports many Internet services, such as search, email, and social networks. At the same time, there are widespread concerns about the privacy loss associated w...
ICMLA
2007
13 years 9 months ago
2007
Optimal Component Analysis (OCA) is a linear method for feature extraction and dimension reduction. It has been widely used in many applications such as face and object recognitio...