626 search results - page 74 / 126 » When Can Formal Methods Make a Real Difference |
146
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...
152
Voted
ANSS
1991
IEEE
15 years 7 months ago
1991
IEEE
The notions of the critical path of events and critical time of an event are key concepts in analyzing the performance of a parallel discrete event simulation. The highest critica...
140
Voted
CISS
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract-- When monitoring interactions within a social network, meetings or contacts between different members of the network are recorded. This paper addresses the problem of usi...
128
click to vote
KDD
2007
ACM
16 years 3 months ago
2007
ACM
The importance of dominance and skyline analysis has been well recognized in multi-criteria decision making applications. Most previous studies assume a fixed order on the attribu...
102
click to vote
ICML
2003
IEEE
16 years 4 months ago
2003
IEEE
In many real world applications, active selection of training examples can significantly reduce the number of labelled training examples to learn a classification function. Differ...