1453 search results - page 189 / 291 » Partial Constraint Satisfaction |
133
click to vote
COORDINATION
2009
Springer
16 years 5 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
137
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Spatial information is a crucial aspect of image understanding for modeling context as well as resolving the uncertainties caused by the ambiguities in low-level features. We desc...
124
click to vote
BCSHCI
2008
15 years 6 months ago
2008
The visual fidelity (fidelity) of a design diagram affects perception and design performance. Hand-drawn diagrams are more effective working documents for early design tasks such ...
129
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
A key step in the design of cyclo-static real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure, which means that tasks...
134
click to vote
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...