Sciweavers

1496 search results - page 270 / 300
» Introducing Speech and Language Processing
Sort
View
146
Voted
ADC
2009
Springer
163views Database» more  ADC 2009»
15 years 10 months ago
ActiveTags: Making Tags More Useful Anywhere on the Web
Tags in social tagging systems store meaning for the taggers who have entered them, and other users often share this understanding. The result of this, a folksonomy, is typically ...
Stephan Hagemann, Gottfried Vossen
147
Voted
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 10 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
116
Voted
IRI
2008
IEEE
15 years 10 months ago
FACT: A fusion architecture with contract templates for semantic and syntactic integration
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
Rose F. Gamble, Robert Baird, Leigh Flagg, Melody ...
RSP
2008
IEEE
118views Control Systems» more  RSP 2008»
15 years 10 months ago
Functional DIF for Rapid Prototyping
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
William Plishker, Nimish Sane, Mary Kiemb, Kapil A...
ACSAC
2007
IEEE
15 years 10 months ago
Spector: Automatically Analyzing Shell Code
Detecting the presence of buffer overflow attacks in network messages has been a major focus. Only knowing whether a message contains an attack, however, is not always enough to m...
Kevin Borders, Atul Prakash, Mark Zielinski