2531 search results - page 460 / 507 » Group testing in graphs |
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
CIKM
2006
Springer
14 years 1 months ago
2006
Springer
The blogosphere--the totality of blog-related Web sites-has become a great source of trend analysis in areas such as product survey, customer relationship, and marketing. Existing...
VLDB
2000
ACM
14 years 1 months ago
2000
ACM
Keyword indices, topic directories, and link-based rankings are used to search and structure the rapidly growing Web today. Surprisingly little use is made of years of browsing ex...
CEC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Humans are inclined to engage in long-lasting relationships whose stability does not only rely on cooperation, but often also on loyalty — our tendency to keep interacting wi...
EON
2003
13 years 11 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...