3907 search results - page 408 / 782 » Information requirements engineering for data warehouse syst... |
191
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
The DBpedia project extracts information from Wikipedia, interlinks it with other knowledge bases, and makes this data available as RDF. So far the DBpedia project has succeeded in...
193
click to vote
LCPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
176
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
193
click to vote
FGR
2008
IEEE
16 years 1 months ago
2008
IEEE
How do we identify images of the same person in photo albums? How can we find images of a particular celebrity using web image search engines? These types of tasks require solvin...
169
click to vote
ADAEUROPE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...