1636 search results - page 258 / 328 » Reasoning About Quantum Systems |
195
click to vote
ICWSM
2009
15 years 3 months ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
254
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
158
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...
260
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
140
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...