2251 search results - page 65 / 451 » Specification and Implementation Problems for C |
127
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Advances in technology now make it possible to integrate hundreds of cores (e.g. general or special purpose processors, embedded memories, application specific components...
152
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
116
Voted
ICCD
2002
IEEE
16 years 8 days ago
2002
IEEE
A variety of factors is making it increasingly difficult and expensive to design and manufacture traditional Application Specific Integrated Circuits (ASICs). This has started a s...
130
click to vote
IJCAI
1993
15 years 4 months ago
1993
This paper describes how meta-level theories are used for analytic learning in M U L T I - T A C . M U L T I - T A C operationalizes generic heuristics for constraint-satisfaction...
172
click to vote
TAINN
2005
Springer
15 years 8 months ago
2005
Springer
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...