1716 search results - page 279 / 344 » Proving Conditional Termination |
101
Voted
FLAIRS
2006
15 years 2 months ago
2006
Different research studies have proved that emotions meet a pivotal role in cognitive processes and in particular the studies made by Damasio who argues that human-beings without ...
105
Voted
NCI
2004
15 years 2 months ago
2004
In model selection procedures in supervised learning, a model is usually chosen so that the expected test error over all possible test input points is minimized. On the other hand...
89
Voted
FIW
2003
15 years 2 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
123
click to vote
MASCOTS
2001
15 years 2 months ago
2001
In this paper, we develop an upper bound on the individual session queue length of long range dependent (LRD) traffic under the generalized processor sharing (GPS) scheduling disc...
101
Voted
IJCAI
2003
15 years 2 months ago
2003
We study two apparently different, but formally similar, scheduling problems. The first problem involves contract algorithms, which can trade off run time for solution quality, a...