614 search results - page 70 / 123 » DE in Slovenia: Where are We |
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
When investigating alternative estimates for term discriminativeness, we discovered that relevance information and idf are much closer related than formulated in classical literat...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
HIPEAC
2005
Springer
14 years 2 months ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
FMCO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...