3022 search results - page 336 / 605 » Make Way for WayMaker |
194
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
189
click to vote
JUCS
2002
15 years 6 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
177
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
146
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
Topic tracking and information filtering are models of interactive tasks, but their evaluations are generally done in a way that does not reflect likely usage. The models either f...
115
click to vote
TIT
1998
15 years 6 months ago
1998
—To estimate the convolutional encoder state from received data, one may use the inverse to the encoder G. However, channel errors make this method unreliable. We propose a metho...