455 search results - page 59 / 91 » A Logical Account of NGSCB |
ICCS
2004
Springer
14 years 29 days ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
DATE
2003
IEEE
14 years 26 days ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
GLVLSI
2003
IEEE
14 years 26 days 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...
EDCC
2010
Springer
14 years 12 days ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
WILF
2009
Springer
14 years 3 days ago
2009
Springer
Digital video stabilization approaches typically degrade their performances in presence of periodic patterns. Any kind of matching between consecutive frames is not usually able to...