Sciweavers

1524 search results - page 276 / 305
» Evaluating Visualizations Based on the Performed Task
Sort
View
EMNLP
2004
15 years 3 months ago
Applying Conditional Random Fields to Japanese Morphological Analysis
This paper presents Japanese morphological analysis based on conditional random fields (CRFs). Previous work in CRFs assumed that observation sequence (word) boundaries were fixed...
Taku Kudo, Kaoru Yamamoto, Yuji Matsumoto
INTERACT
2003
15 years 3 months ago
Questioning the Effectiveness of Contextual Online Help: Some Alternative Propositions
: Most online help systems on the market prove unsuited to the actual needs of novice users. Although recent research has focused on the design and implementation of contextual, ad...
Antonio Capobianco
ECRTS
2010
IEEE
15 years 3 months ago
AIRS: Supporting Interactive Real-Time Applications on Multicore Platforms
Modern real-time systems increasingly operate with multiple interactive applications. While these systems often require reliable quality of service (QoS) for the applications, eve...
Shinpei Kato, Ragunathan Rajkumar, Yutaka Ishikawa
ICASSP
2010
IEEE
15 years 2 months ago
Multiantenna spectrum sensing: Detection of spatial correlation among time-series with unknown spectra
One of the key problems in cognitive radio (CR) is the detection of primary activity in order to determine which parts of the spectrum are available for opportunistic access. This...
David Ramírez, Javier Vía, Ignacio S...
ENTCS
2008
170views more  ENTCS 2008»
15 years 2 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi