4513 search results - page 529 / 903 » Logic programming with satisfiability |
116
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
141
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Instead of having fixed px and pm, this paper presents the use of fuzzy logic to adaptively tune px and pm for optimization of power electronic circuits throughout the process. By...
136
Voted
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
137
click to vote
GLVLSI
2003
IEEE
15 years 10 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...
108
Voted
ECSQARU
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...