3468 search results - page 378 / 694 » An open logical framework |
201
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
We present Stretch `n' Shrink, a query design framework that explicitly takes into account user preferences about the desired answer size, and subsequently modifies the query...
163
Voted
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
108
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. With the increased need of data sharing among multiple organizations, such as government organizations, financial corporations, medical hospitals and academic institution...
144
Voted
NPAR
2009
ACM
15 years 11 months ago
2009
ACM
We present an algorithm for rendering high-quality line primitives of controllable on-screen width within a ray tracing framework, which can render simple NPR-style feature lines,...
128
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...