1040 search results - page 89 / 208 » Resource Usage Verification |
130
click to vote
EMNLP
2009
15 years 29 days ago
2009
Bilingual dictionaries are vital resources in many areas of natural language processing. Numerous methods of machine translation require bilingual dictionaries with large coverage...
141
click to vote
FUIN
2010
15 years 16 days ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
162
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—Surveillance systems, such as sensor networks and surveillance camera networks, have been widely deployed to monitor events in many different scenarios. One common way to conser...
124
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
99
Voted
HPCA
2002
IEEE
16 years 3 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...