Sciweavers

1010 search results - page 160 / 202
» System and Framework for QA of Process Design Kits
Sort
View
CTRS
1990
14 years 22 days ago
Completion Procedures as Semidecision Procedures
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
Maria Paola Bonacina, Jieh Hsiang
ECIR
1998
Springer
13 years 10 months ago
Evaluation of Interfaces for IRS: Modelling End-User Searching Behaviour
This paper describes an investigation in progress into the searching behaviour of end-users and how it is affected by interface design. The project focused on qualitative data gat...
Victoria Manglano, Micheline Beaulieu, Stephen E. ...
ANCS
2010
ACM
13 years 6 months ago
An architecture for software defined cognitive radio
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
Aveek Dutta, Dola Saha, Dirk Grunwald, Douglas C. ...
SIGMOD
2010
ACM
188views Database» more  SIGMOD 2010»
14 years 1 months ago
A demonstration of FlexPref: extensible preference evaluation inside the DBMS engine
This demonstration presents FlexPref, a framework implemented inside the DBMS query processor that enables efficient and extensible preference query processing. FlexPref provides ...
Justin J. Levandoski, Mohamed F. Mokbel, Mohamed E...
IDMS
1999
Springer
143views Multimedia» more  IDMS 1999»
14 years 29 days ago
Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
Gregor von Bochmann, Zhen Yang