174 search results - page 26 / 35 » A Hybrid Denotational Semantics for Hybrid Systems |
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
SNPD
2010
13 years 6 months ago
2010
In this paper we propose an hybrid system of Arabic words disambiguation. To achieve this goal we use the methods employed in the domain of information retrieval: Latent semantic ...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— A TCP-friendly Additive Increase and Multiplicative Decrease (AIMD) protocol is proposed to support timesensitive applications in hybrid wired/wireless networks. By ana...
KI
2007
Springer
14 years 2 months ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
WEBDB
2005
Springer
14 years 1 months ago
2005
Springer
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...