4966 search results - page 56 / 994 » its 2010 |
148
click to vote
DM
2010
15 years 6 months ago
2010
Using a generalisation of Hamiltonian cycles to uniform hypergraphs due to Katona and Kierstead, we define a new notion of a Hamiltonian decomposition of a uniform hypergraph. We ...
159
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
155
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We consider the numerical computation of stationary distributions for level dependent quasi-birth-and-death processes. An algorithm based on matrix continued fractions is presente...
157
click to vote
FLOPS
2010
Springer
16 years 28 days ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
146
click to vote
HAPTICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Touch is an important but poorly studied aspect of emotional communication. With the Haptic Creature we are investigating fundamentals of affective touch. This small robot senses t...