3731 search results - page 468 / 747 » Reduct Generation in Information Systems |
239
click to vote
CSFW
2002
IEEE
16 years 12 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
193
click to vote
ISCA
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper makes the case that pin bandwidth will be a critical consideration for future microprocessors. We show that many of the techniques used to tolerate growing memory laten...
189
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Metabolomics, petroleum and biodiesel chemistry, biomarker discovery, and other fields which rely on high-resolution profiling of complex chemical mixtures generate da...
207
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
Starting from some simple observations on a popular selection method in Evolutionary Algorithms (EAs)--tournament selection--we highlight a previously-unknown source of inefficien...
180
click to vote
JOCN
2010
15 years 5 months ago
2010
■ The ability to stop ongoing motor responses in a splitsecond is a vital element of human cognitive control and flexibility that relies in large part on prefrontal cortex. We u...