43264 search results - page 8150 / 8653 » Comparing models of computation |
128
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...
125
click to vote
ISMAR
2006
IEEE
15 years 10 months ago
2006
IEEE
Learning to play the guitar is difficult. We proposed a system that assists people learning to play the guitar using augmented reality. This system shows a learner how to correct...
125
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
140
Voted
LAWEB
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we process and analyze web search engine query and click data from the perspective of the documents (URL’s) selected. We initially define possible document categor...
162
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...