Sciweavers

2308 search results - page 263 / 462
» Categorial Semantics For LFG
Sort
View
OOPSLA
2005
Springer
16 years 19 hour ago
Pluggable AOP: designing aspect mechanisms for third-party composition
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
Sergei Kojarski, David H. Lorenz
TLCA
2005
Springer
16 years 9 hour ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger
WEBDB
2005
Springer
102views Database» more  WEBDB 2005»
16 years 7 hour ago
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques
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...
Ming Zhong, Justin Moore, Kai Shen, Amy L. Murphy
WEBI
2005
Springer
16 years 7 hour ago
Boosting Item Keyword Search with Spreading Activation
Most keyword search engines returns directly matching keyword phrases. However, publishers cannot anticipate all possible ways in which users would search for the items in their d...
Dipti Aswath, Syed Toufeeq Ahmed, James D'cunha, H...
JCDL
2004
ACM
94views Education» more  JCDL 2004»
15 years 12 months ago
Element matching in concept maps
Concept maps (CM) are informal, semantic, node-link conceptual graphs used to represent knowledge in a variety of applications. Algorithms that compare concept maps would be usefu...
Byron Marshall, Therani Madhusudan