7827 search results - page 1314 / 1566 » time 2007 |
150
click to vote
IANDC
2007
15 years 6 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
163
click to vote
IANDC
2007
15 years 6 months ago
2007
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...
181
click to vote
IDA
2007
Springer
15 years 6 months ago
2007
Springer
We describe an in-depth analysis of spam-filtering performance of a simple Naive Bayes learner and two extended variants. A set of seven mailboxes comprising about 65,000 mails f...
170
click to vote
IEE
2007
15 years 6 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
171
click to vote
PR
2008
15 years 6 months ago
2008
It is generally believed that quadratic discriminant analysis (QDA) can better fit the data in practical pattern recognition applications compared to linear discriminant analysis ...