3119 search results - page 391 / 624 » General Default Logic |
176
click to vote
RISE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
155
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
170
click to vote
SEKE
2004
Springer
15 years 12 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...
173
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...
151
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...