4887 search results - page 698 / 978 » System Level Design Using C |
142
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
214
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
The ParAccel Analytic DatabaseTM is a fast shared-nothing parallel relational database system with a columnar orientation, adaptive compression, memory-centric design, and an enha...
123
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
132
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Similarity search in metric spaces is a general paradigm that can be used in several application fields. It can also be effectively exploited in content-based image retrieval syst...
139
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The central problem of designing intelligent robot systems which learn by demonstrations of desired behaviour has been largely studied within the field of robotics. Numerous archi...