6598 search results - page 372 / 1320 » Graph Theory with Applications |
202
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Minimax-regret preference elicitation allows intelligent decisions to be made on behalf of people facing risky choices. Standard gamble queries, a vital tool in this type of prefe...
197
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
205
Voted
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
149
click to vote
SE
2007
15 years 8 months ago
2007
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
199
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...