725 search results - page 125 / 145 » Overview of TREC 2007 |
DEBU
2007
14 years 11 months ago
2007
We present an overview of the embeddability features of SQL Anywhere, a full-function relational database system designed for frontline business environments with minimal administ...
ENTCS
2007
14 years 11 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
ENTCS
2007
14 years 11 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
IEE
2007
14 years 11 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
100
click to vote
PR
2008
14 years 11 months ago
2008
Clustering algorithms are increasingly employed for the categorization of image databases, in order to provide users with database overviews and make their access more effective. ...