Sciweavers

2681 search results - page 408 / 537
» Problem F
Sort
View
CODES
2008
IEEE
14 years 5 hour ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
CONEXT
2008
ACM
14 years 3 hour ago
Towards a new generation of information-oriented internetworking architectures
In response to the limitations of the Internet architecture when used for applications for which it was not originally designed, a series of clean slate efforts have emerged to sh...
Christian Esteve, Fábio Luciano Verdi, Maur...
FPGA
2008
ACM
129views FPGA» more  FPGA 2008»
13 years 11 months ago
Efficient ASIP design for configurable processors with fine-grained resource sharing
Application-Specific Instruction-set Processors (ASIP) can improve execution speed by using custom instructions. Several ASIP design automation flows have been proposed recently. ...
Quang Dinh, Deming Chen, Martin D. F. Wong
IJCAI
2007
13 years 11 months ago
Locating Complex Named Entities in Web Text
Named Entity Recognition (NER) is the task of locating and classifying names in text. In previous work, NER was limited to a small number of predefined entity classes (e.g., peop...
Doug Downey, Matthew Broadhead, Oren Etzioni
ACL
2006
13 years 11 months ago
Reduced n-gram Models for English and Chinese Corpora
Statistical language models should improve as the size of the n-grams increases from 3 to 5 or higher. However, the number of parameters and calculations, and the storage requirem...
Le Quan Ha, Philip Hanna, Darryl Stewart, F. Jack ...