3174 search results - page 423 / 635 » An Exploration of the Permanent-Determinant Method |
167
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The ability of mobile robots to generate feasible trajectories online is an important requirement for their autonomous operation in unstructured environments. Many path generat...
173
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
180
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
184
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Although laboratory user studies are the most common method for validating the utility of information visualization systems, it may be difficult to determine if such studies accu...
184
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...