960 search results - page 53 / 192 » Computational Semantics Of Mass Terms |
RTA
2005
Springer
14 years 2 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
JCIT
2008
13 years 9 months ago
2008
A multilevel semantic document classification system based on Support Vector Machine (SVM) in association with domain ontologies has been developed. The documents related to the s...
IFIPTCS
2010
13 years 7 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
In the context of an information search task, does the visual salience of items interact with information scent? That is, do things like bold headlines or highlighted phrases inte...
HUC
2009
Springer
14 years 1 months ago
2009
Springer
Detecting visits to semantically meaningful places is important for many emerging mobile applications. We present PlaceSense, a place discovery algorithm suitable for mobile devic...