Sciweavers

7049 search results - page 57 / 1410
» Data Abstraction for CSP-OZ
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 3 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
15 years 3 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
33
Voted
COLING
2008
14 years 11 months 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 11 months 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 11 months 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...