Sciweavers

696 search results - page 75 / 140
» Explaining abstract counterexamples
Sort
View
66
Voted
CACM
2005
59views more  CACM 2005»
15 years 3 months ago
Is the thrill gone?
een program and data, abstraction, recursion, tractability, virtualization, and fault tolerance are among its basic principles. No one would dispute that the very idea of computing...
Sanjeev Arora, Bernard Chazelle
JMM2
2007
92views more  JMM2 2007»
15 years 3 months ago
Camera Control and Multimedia Interaction using Individual Object Recognition
Abstract— Currently, most of the automated, computervision assisted camera control policies are based on human events, such as the speaker gesture and position changes. In additi...
Richard Y. D. Xu, Jesse S. Jin
TWC
2008
98views more  TWC 2008»
15 years 3 months ago
Using Parasitic Elements for Implementing the Rotating Antenna for MIMO Receivers
Abstract--We consider a new concept of a Multiple-InputMultiple-Output (MIMO) receiver which uses one active receiving antenna and multiple parasitic elements. The parasitic elemen...
Robert Bains, Ralf R. Müller
KI
2007
Springer
15 years 3 months ago
Engineering Adaptive Web Applications
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
Peter Dolog
COMBINATORICS
2004
76views more  COMBINATORICS 2004»
15 years 3 months ago
Geometrically Constructed Bases for Homology of Partition Lattices
Abstract. We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "sp...
Anders Björner, Michelle L. Wachs