9110 search results - page 28 / 1822 » Formally-Based Design Evaluation |
AOSE
2006
Springer
15 years 1 months ago
2006
Springer
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
BCSHCI
2008
14 years 11 months ago
2008
This paper reports the results of an international web-based survey on the use of field studies in the design and evaluation of interactive systems, which was conducted between De...
61
Voted
LREC
2008
14 years 11 months ago
2008
This paper reports the principles behind designing a tagset to cover Russian morphosyntactic phenomena, modifications of the core tagset, and its evaluation. The tagset and associ...
VLSISP
2002
14 years 9 months ago
2002
Abstract. This paper presents a study of the suitability for FPGA design of full custom based CORDIC implementations. Since all these methods are based on redundant arithmetic, the...
78
Voted
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, we propose a multilevel coding (MLC) scheme suitable for satellite communications, where different QoS levels are required. We introduce a novel characterization ...