509 search results - page 9 / 102 » A formal representation of functional size measurement metho... |
LISP
2008
13 years 8 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
ISQED
2008
IEEE
14 years 3 months ago
2008
IEEE
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are ...
CIKM
2006
Springer
14 years 15 days ago
2006
Springer
Optimising the parameters of ranking functions with respect to standard IR rank-dependent cost functions has eluded satisfactory analytical treatment. We build on recent advances ...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Robots perceiving its environment using cameras usually need a good representation of how the camera is aligned to the body and how the camera is rotated relative to the ground...