3179 search results - page 266 / 636 » Applications of PCF Theory |
125
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
91
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
111
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
95
Voted
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
Storytelling applications are increasingly being used and researched due to the fact that they are capable of conveying information and experience to users in a more natural and f...
108
Voted
RTAS
2006
IEEE
15 years 6 months ago
2006
IEEE
A good amount of research has been developed to support QoS issues in IEEE 802.11 ad hoc networks, such as QoS routing, MAC layer QoS support, and cross-layer QoS design. However,...