Sciweavers

7049 search results - page 57 / 1410
» Data Abstraction for CSP-OZ
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 6 days 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
16 years 26 days 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
15 years 8 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»
15 years 8 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
15 years 8 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...