Sciweavers

7393 search results - page 1278 / 1479
» Synthesis-for-testability using transformations
Sort
View
134
Voted
CN
2010
103views more  CN 2010»
15 years 3 months ago
Continuum equilibria and global optimization for routing in dense static ad hoc networks
We consider massively dense ad hoc networks and study their continuum limits as the node density increases and as the graph providing the available routes becomes a continuous area...
Alonso Silva, Eitan Altman, Pierre Bernhard, M&eac...
109
Voted
CGF
2008
156views more  CGF 2008»
15 years 3 months ago
Automatic Conversion of Mesh Animations into Skeleton-based Animations
Recently, it has become increasingly popular to represent animations not by means of a classical skeleton-based model, but in the form of deforming mesh sequences. The reason for ...
Edilson de Aguiar, Christian Theobalt, Sebastian T...
138
Voted
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 3 months ago
A CHAID Based Performance Prediction Model in Educational Data Mining
The performance in higher secondary school education in India is a turning point in the academic lives of all students. As this academic performance is influenced by many factors,...
M. Ramaswami, R. Bhaskaran
130
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 3 months ago
Mathematical Foundations for a Compositional Distributional Model of Meaning
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
127
Voted
COMPUTER
2008
92views more  COMPUTER 2008»
15 years 3 months ago
Can Programming Be Liberated, Period?
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
David Harel
« Prev « First page 1278 / 1479 Last » Next »