9949 search results - page 1884 / 1990 » On the Network Complexity of Selection |
FM
1997
Springer
14 years 1 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
QOSA
2010
Springer
14 years 25 days ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
EXPCS
2007
14 years 24 days ago
2007
Developing kernel-level file systems is a difficult task that requires a significant time investment. For experimental file systems, it is desirable to develop a prototype before ...
AFRIGRAPH
2001
ACM
14 years 16 days ago
2001
ACM
If a moving image is more expressive than words or than a still image, then an animated facial expression can explain more in depth the feelings of a virtual character. Facial ani...
KR
2000
Springer
14 years 14 days ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...