Sciweavers

2736 search results - page 482 / 548
» Implementable allocation rules
Sort
View
ACL
2009
13 years 9 months ago
A Non-negative Matrix Tri-factorization Approach to Sentiment Classification with Lexical Prior Knowledge
Sentiment classification refers to the task of automatically identifying whether a given piece of text expresses positive or negative opinion towards a subject at hand. The prolif...
Tao Li, Yi Zhang 0005, Vikas Sindhwani
FAST
2009
13 years 8 months ago
Generating Realistic Impressions for File-System Benchmarking
The performance of file systems and related software depends on characteristics of the underlying file-system image (i.e., file-system metadata and file contents). Unfortunately, ...
Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. ...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 8 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICOODB
2009
94views Database» more  ICOODB 2009»
13 years 8 months ago
Metamodelling with Datalog and Classes: ConceptBase at the Age of 21
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nisse...
IEEECGIV
2009
IEEE
13 years 8 months ago
General Shape Grammar Interpreter for Intelligent Designs Generations
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
Tomas Trescak, Inmaculada Rodríguez, Marc E...