2713 search results - page 193 / 543 » Parameterized Tree Systems |
114
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
167
Voted
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
126
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
During teleoperation, a human operator often receives only 2-D visual feedback from the remote environment. While a variety of kinematic sensors exist on the remote manipulator fo...
147
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
138
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a technique for the numerical generation of basis functions that are capable of parameterizing the frequency-variant nature of cross-sectional conductor curre...