Sciweavers

7049 search results - page 57 / 1410
» Data Abstraction for CSP-OZ
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
14 years 4 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
ICCS
2007
Springer
14 years 4 months ago
Representation Levels Within Knowledge Representation
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
Heather D. Pfeiffer, Joseph J. Pfeiffer
COLING
2008
14 years 5 days ago
Recent Advances in a Feature-Rich Framework for Treebank Annotation
This paper presents recent advances in an established treebank annotation framework comprising of an abstract XMLbased data format, fully customizable editor of tree-based annotat...
Petr Pajas, Jan Stepánek
LREC
2008
72views Education» more  LREC 2008»
14 years 5 days ago
Extraction of Attribute Concepts from Japanese Adjectives
ibe various syntactic and semantic conditions for finding abstract nouns which refer to concepts of adjectives from a text, in an attempt to explore the creation of a thesaurus fr...
Kyoko Kanzaki, Francis Bond, Noriko Tomuro, Hitosh...
CAISE
2008
Springer
14 years 22 days ago
SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...
Woralak Kongdenfha, Boualem Benatallah, Rég...