1283 search results - page 219 / 257 » A Survey on Temporal Logics |
182
click to vote
CIKM
2006
Springer
15 years 9 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...
173
click to vote
PLDI
2009
ACM
16 years 28 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
198
click to vote
TABLEAUX
2009
Springer
16 years 20 days ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
150
click to vote
LCN
2007
IEEE
16 years 12 days ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
162
click to vote
ADC
1999
Springer
15 years 10 months ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...