4117 search results - page 721 / 824 » On the Satisfiability of Complex Constraints |
144
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
159
click to vote
CVPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Corners and curves are important image features in many vision-based applications. Corners are usually more stable and easier to match than curves,while curves contain richer info...
171
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
159
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
131
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
Scheduling time impact on system performance increases especially when using dynamic priority algorithms, because of the enlarged computational effort at runtime. This overhead ca...