747 search results - page 99 / 150 » An Alternative Representation for QBF |
ARITH
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces two novel architectures for parallel decimal multipliers. Our multipliers are based on a new algorithm for decimal carry–save multioperand addition that us...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Pen-based interfaces offer exciting opportunities in ubiquitous computing by enabling new hardware form factors and socially acceptable computing tasks. However, prevailing ink re...
101
click to vote
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We explore global randomized joint space path planning for articulated robots that are subject to task space constraints. This paper describes a representation of constrained m...
110
click to vote
APN
2007
Springer
15 years 6 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...