Sciweavers

1812 search results - page 283 / 363
» Test Early, Test Often
Sort
View
JCSS
2007
63views more  JCSS 2007»
14 years 9 months ago
Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling
In distributed real-time systems, an application is often modeled as a set of real-time transactions, where each transaction is a chain of precedence-constrained tasks. Each task ...
Rodolfo Pellizzoni, Giuseppe Lipari
AI
2002
Springer
14 years 9 months ago
Learning cost-sensitive active classifiers
Most classification algorithms are "passive", in that they assign a class label to each instance based only on the description given, even if that description is incompl...
Russell Greiner, Adam J. Grove, Dan Roth
BMCBI
2004
102views more  BMCBI 2004»
14 years 9 months ago
No statistical support for correlation between the positions of protein interaction sites and alternatively spliced regions
Background: Alternative splicing is an efficient mechanism for increasing the variety of functions fulfilled by proteins in a living cell. It has been previously demonstrated that...
Marc N. Offman, Ramil N. Nurtdinov, Mikhail S. Gel...
COGSCI
2002
60views more  COGSCI 2002»
14 years 9 months ago
Memory for goals: an activation-based model
Goal-directed cognition is often discussed in terms of specialized memory structures like the "goal stack." The goal-activation model presented here analyzes goal-direct...
Erik M. Altmann, J. Gregory Trafton
JAR
2000
97views more  JAR 2000»
14 years 9 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang