6693 search results - page 749 / 1339 » Methods of Automatic Algorithm Generation |
159
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
166
click to vote
SIGIR
2004
ACM
16 years 2 days ago
2004
ACM
We describe a method to define and use subwebs, user-defined neighborhoods of the Internet. Subwebs help improve search performance by inducing a topic-specific page relevance ...
175
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
176
Voted
AAAI
2006
15 years 8 months ago
2006
Transfer learning concerns applying knowledge learned in one task (the source) to improve learning another related task (the target). In this paper, we use structure mapping, a ps...
205
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The compression of video can reduce the accuracy of tracking algorithms, which is problematic for centralized applications that rely on remotely captured and compressed video for ...