2659 search results - page 97 / 532 » Do we mean the same |
122
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...
122
click to vote
FPT
2005
IEEE
15 years 10 months ago
2005
IEEE
Producing a functionally correct integrated circuit is becoming increasingly difficult. No matter how careful a designer is, there will always be integrated circuits that are fabr...
114
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
138
click to vote
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
165
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...