1521 search results - page 109 / 305 » On Sampled Semantics of Timed Systems |
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
: This paper addresses the issue of designing scalable prototypes for multi input multi output (MIMO) wireless channel emulation. To date, emulators are extending single input sing...
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
The Semantic Web is still a web, a collection of linked nodes. Navigation of links is currently, and will remain for humans if not machines, a key mechanism for exploring the spac...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
105
click to vote
FMSD
2007
14 years 10 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...