12194 search results - page 161 / 2439 » cans 2010 |
70
Voted
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
Power systems under stress can show large voltage angle differences between areas that can be monitored by wide area phasor measurements. One way to make this idea more specific ...
111
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
110
Voted
NPAR
2010
ACM
15 years 5 months ago
2010
ACM
I argue that Non-Photorealistic Rendering (NPR) research will play a key role in the scientific understanding of visual art and illustration. NPR can contribute to scientific un...
103
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Field-programmable gate arrays (FPGAs) are a promising technology that can be used in database systems. In this demonstration we show Glacier, a library and a compiler that can be...
122
click to vote
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...