1743 search results - page 158 / 349 » Generalized Modal Satisfiability |
137
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
194
click to vote
PATAT
2004
Springer
15 years 8 months ago
2004
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints of ...
124
Voted
SEKE
2004
Springer
15 years 8 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...
133
Voted
WG
2004
Springer
15 years 8 months ago
2004
Springer
It has long been known that the number of spanning trees in circulant graphs with fixed jumps and n nodes satisfies a recurrence relation in n. The proof of this fact was algebra...
125
click to vote
GLVLSI
2003
IEEE
15 years 8 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...