4418 search results - page 21 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
117
Voted
JUCS
2000
15 years 3 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
108
click to vote
FLAIRS
2000
15 years 5 months ago
2000
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
115
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Project teams have become an important element in teaching informatics. Web-based groupware systems are increasingly used in such educational settings. This kind of educational te...
117
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
The nearest-neighbor based document skew detection methods do not require the presence of a predominant text area, and are not subject to skew angle limitation. However, the accur...
135
Voted
SPIRE
2005
Springer
15 years 9 months ago
2005
Springer
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...