218 search results - page 23 / 44 » Improved Low-Degree Testing and its Applications |
CICLING
2010
Springer
14 years 8 days ago
2010
Springer
Although the application of data fusion in information retrieval has yielded good results in the majority of the cases, it has been noticed that its achievement is dependent on the...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
ENTCS
2006
13 years 8 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
To date there has been limited published work in the construction management and engineering literature that has provided empirical evidence to demonstrate that IT can improve org...