13841 search results - page 2626 / 2769 » Algorithms and Constraint Programming |
120
click to vote
PRL
2008
15 years 3 months ago
2008
We present a new model for detection of noun phrases in unrestricted text, whose most outstanding feature is its flexibility: the system is able to recognize noun phrases similar ...
148
click to vote
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
118
click to vote
SMA
2008
ACM
15 years 3 months ago
2008
ACM
Height maps are a very efficient surface representation, initially developed for terrain modeling and visualization. They are also present in other applications, such as mesostruc...
128
click to vote
TCAD
2008
15 years 3 months ago
2008
Embedded systems are constrained by the available memory. Code-compression techniques address this issue by reducing the code size of application programs. It is a major challenge ...
137
click to vote
TCAD
2008
15 years 3 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...