5804 search results - page 825 / 1161 » Doing more with less |
170
click to vote
AAAI
2007
15 years 9 months ago
2007
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...
180
Voted
AAAI
2008
15 years 9 months ago
2008
Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we developed the Intelligent Mapping Toolkit (IM...
166
Voted
DLOG
2007
15 years 9 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
209
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Clustering attempts to discover significant groups present in a data set. It is an unsupervised process. It is difficult to define when a clustering result is acceptable. Thus,...
177
click to vote
LISA
2008
15 years 9 months ago
2008
Abstract-- With the prevalence of multi-user environments, it has become an increasingly challenging task to precisely identify who is doing what on an enterprise network. Current ...