4693 search results - page 838 / 939 » Verifying Hybrid Systems |
103
click to vote
TCS
2010
14 years 11 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
97
Voted
WCNC
2010
IEEE
14 years 11 months ago
2010
IEEE
— Previous works studied the effect of many system parameters on spectrum sharing opportunities where secondary users access the spectrum of primary users. However, a parameter t...
100
Voted
ACL
2010
14 years 10 months ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
140
Voted
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
115
Voted
FPGA
2010
ACM
14 years 10 months ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...