4117 search results - page 264 / 824 » On the Satisfiability of Complex Constraints |
283
click to vote
ICICIC
2006
IEEE
16 years 23 days ago
2006
IEEE
In timetable scheduling problems, examination subjects must be slotted to certain times that satisfy several of constraints. They are NP-completeness problems, which usually lead ...
190
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes a rate control algorithm for a streaming video system that dynamically transcodes stored JPEG 2000 frames. The proposed algorithm is designed to improve overa...
177
click to vote
ICW
2005
IEEE
16 years 9 days ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
181
click to vote
MTV
2005
IEEE
16 years 9 days ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
158
click to vote
ER
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...