1746 search results - page 172 / 350 » Recent Developments in Algorithmic Teaching |
129
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability problems. However...
113
click to vote
ISPD
2005
ACM
15 years 8 months ago
2005
ACM
Automatic circuit placement has received renewed interest recently given the rapid increase of circuit complexity, increase of interconnect delay, and potential sub-optimality of ...
108
click to vote
DLOG
2003
15 years 3 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
107
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
The seminal work of Hubel and Wiesel [14] and the vast amount of work that followed it prove that hierarchies of increasingly complex cells play a central role in cortical computa...
126
Voted
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Most existing subspace analysis-based tracking algorithms utilize a flattened vector to represent a target, resulting in a high dimensional data learning problem. Recently, subspa...