Sciweavers

15660 search results - page 316 / 3132
» The Unbalance of Set Systems
Sort
View
AAAI
2004
15 years 9 months ago
Identifying Terrorist Activity with AI Plan Recognition Technology
We describe the application of plan recognition techniques to support human intelligence analysts in processing national security alert sets by automatically identifying the hosti...
Peter Jarvis, Teresa F. Lunt, Karen L. Myers
SIGIR
2008
ACM
15 years 7 months ago
Personal vs non-personal blogs: initial classification experiments
We address the task of separating personal from non-personal blogs, and report on a set of baseline experiments where we compare the performance on a small set of features across ...
Erik Elgersma, Maarten de Rijke
201
Voted
ITICSE
2004
ACM
16 years 1 months ago
Teaching operating systems administration with user mode linux
User Mode Linux is a virtual machine running on a GNULinux operating system. It is the right choice for teaching operating systems’ administration, as it does not need any dedic...
Renzo Davoli
HYBRID
2003
Springer
16 years 23 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
193
Voted
ERCIMDL
2000
Springer
175views Education» more  ERCIMDL 2000»
15 years 11 months ago
MADILIS, the Microsoft Access-Based Digital Library System
The ASU Libraries' staff had considerable experience creating digital library systems to satisfy the needs of a major university library. These systems were designed to be hig...
Scott Herrington, Philip Konomos