1638 search results - page 163 / 328 » A General Semantics for Evaluation Logic |
217
click to vote
ASSETS
2009
ACM
15 years 11 months ago
2009
ACM
The difficulties of navigating vocabulary in an assistive communication device are exacerbated for individuals with lexical access disorders like those due to aphasia. We present ...
183
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Semantic overlay networks cluster peers that are semantically, thematically or socially close into groups by means of a rewiring procedure that is periodically executed by each pe...
184
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
175
click to vote
WS
2010
ACM
15 years 4 months ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...
169
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Service discovery is one of challenging issues in Service-Oriented computing. Currently, most of the existing service discovering and matching approaches are based on keywords-bas...