1955 search results - page 157 / 391 » Can Computers Handle Adverbs |
118
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
111
click to vote
GROUP
2003
ACM
15 years 10 months ago
2003
ACM
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
162
click to vote
DBKDA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
152
click to vote
WSCG
2001
15 years 6 months ago
2001
Directional Coherence Maps as proposed by Guo in '98 are a very efficient acceleration technique for ray tracing based global illumination renderers. It vastly reduces the nu...
119
click to vote
EOR
2006
15 years 4 months ago
2006
This paper addresses the railway rolling stock circulation problem. Given the departure and arrival times as well as the expected numbers of passengers, we have to assign the roll...