Sciweavers

11722 search results - page 172 / 2345
» How Developers Develop Features
Sort
View
ADL
2000
Springer
276views Digital Library» more  ADL 2000»
15 years 6 months ago
Invading the Fortress: How to Besiege Reinforced Information Bunkers
Information retrieval (IR) research has been very active over the last decades to develop approaches that allow machine indexing to significantly improve indexing practice in lib...
Jeroen Hoppenbrouwers, Hans Paijmans
LREC
2008
134views Education» more  LREC 2008»
15 years 3 months ago
GMT to +2 or how can TimeML be used in Romanian
The paper describes the construction and usage of the Romanian version of the TimeBank corpus. The success rate of 96.53% for the automatic import of the temporal annotation from ...
Corina Forascu
ENTCS
2002
82views more  ENTCS 2002»
15 years 2 months ago
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
Alberto Momigliano, Simon Ambler, Roy L. Crole
133
Voted
ETS
2002
IEEE
100views Hardware» more  ETS 2002»
15 years 2 months ago
How to Annotate Educational Multimedia with Non-Functional Requirements
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...
Giovanna Avellis, Anthony Finkelstein
CORR
1998
Springer
142views Education» more  CORR 1998»
15 years 2 months ago
How to define a context-free backbone for DGs: Implementing a DG in the LFG formalism
This paper presents a multidimensional Dependency Grammar (DG), which decouples the dependency tree from word order, such that surface ordering is not determined by traversing the...
Norbert Bröker