5695 search results - page 384 / 1139 » Using Many Cameras as One |
140
Voted
AML
2002
15 years 6 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In piezoresisitive two-axis accelerometers with two proof masses suspended by cantilever beams, there are generally many ways to configure the Wheatstone bridges. The configuratio...
126
click to vote
IPL
2010
15 years 5 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
190
click to vote
SIGECOM
2010
ACM
15 years 5 months ago
2010
ACM
We derive efficient algorithms for both detecting and representing matchings in lopsided bipartite graphs; such graphs have so many nodes on one side that it is infeasible to repr...
185
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...