Sciweavers

8512 search results - page 165 / 1703
» Computing Theory With Relevance
Sort
View
BCSHCI
2007
15 years 6 months ago
Habitats: a simple way to bridge artifacts, professions, and theories in ubiquitous design
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
Martin Brynskov, Gunnar Kramp
BIRTHDAY
2008
Springer
15 years 5 months ago
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
Alexander Rabinovich, Amit Shomrat
CAD
2007
Springer
15 years 4 months ago
Detection of closed sharp edges in point clouds using normal estimation and graph theory
The reconstruction of a surface model from a point cloud is an important task in the reverse engineering of industrial parts. We aim at constructing a curve network on the point c...
Kris Demarsin, Denis Vanderstraeten, Tim Volodine,...

Book
1455views
17 years 4 months ago
Linear Matrix Inequalities in System and Control Theory
This book shows that several system and control theory problems can be reduced to a few standard convex or quasiconvex optimization problems involving linear matrix inequalities (L...
Stephen Boyd, Laurent El Ghaoui, E. Feron, V. Bala...

Book
712views
17 years 2 months ago
Network Coding Theory
The book covers several topics such as Acyclic Networks, Cyclic Networks, Network Coding and Algebraic Coding, Superposition Coding and Max-Flow Bound, Network Codes for Acyclic Ne...
Raymond W. Yeung, Shuo-Yen Robert Li, Ning Cai, Zh...