4797 search results - page 252 / 960 » The complexity of partition tasks |
155
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
195
click to vote
ACMICEC
2005
ACM
16 years 4 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
154
click to vote
ISAAC
2005
Springer
16 years 2 days ago
2005
Springer
We explore the complexity of computing tilings of orthogonal polygons using colored dominoes. A colored domino is a rotatable 2 × 1 rectangle that is partitioned into two unit squ...
172
click to vote
MIDDLEWARE
2005
Springer
16 years 1 days ago
2005
Springer
The content-based publish/subscribe model has been adopted by many services to deliver data between distributed users based on application-specific semantics. Two key issues in su...
171
click to vote
IEAAIE
2004
Springer
15 years 12 months ago
2004
Springer
A fundamental difficulty faced by cooperative multiagent systems is to find how to efficiently coordinate agents. There are three fundamental processes to solve the coordination pr...