1188 search results - page 182 / 238 » Testing Semantics: Connecting Processes and Process Logics |
120
click to vote
CN
2006
15 years 3 months ago
2006
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
152
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
129
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
137
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Many reconfigurable architectures offer partial dynamic configurability, but current system-level tools cannot guarantee feasible implementations when exploiting this feature. We ...
136
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...