5234 search results - page 902 / 1047 » Method Components - Rationale Revealed |
124
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web. Axioms are an important component of ontologies to describe the relationships among the concepts. ...
126
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...
133
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
134
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
116
Voted
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...