2218 search results - page 396 / 444 » Testing Expressibility Is Hard |
CIKM
2006
Springer
14 years 21 days ago
2006
Springer
A major challenge in developing models for hypertext retrieval is to effectively combine content information with the link structure available in hypertext collections. Although s...
DOLAP
2006
ACM
14 years 20 days ago
2006
ACM
As more and more information is available on the web, it is a problem that many web resources are not accessible, i.e., are not usable for users with special needs. For example, f...
EMSOFT
2006
Springer
14 years 19 days ago
2006
Springer
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...
KR
2000
Springer
14 years 17 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...
ISER
1995
Springer
14 years 16 days ago
1995
Springer
Most robot designers make the mechanical interface between an actuator and its load as stiff as possible[9][10]. This makes sense in traditional position-controlled systems, becau...