2038 search results - page 76 / 408 » Improvements to the Psi-SSA representation |
120
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
APCCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
— Frequency separation among the subcarriers is of great importance for multicarrier systems. At the transmitter side better frequency separation leads to a smaller out-ofband sp...
110
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...
146
click to vote
CIA
2001
Springer
15 years 6 months ago
2001
Springer
User-to-User Communication within Internet-based 3D Virtual Environments is usually difficult mainly due to the trade-off between the capability and the complexity of the interface...
130
click to vote
TSD
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper suggests a novel representation for documents that is intended to improve precision. This representation is generated by combining two central techniques: Rand...