Sciweavers

CORR
2007
Springer
92views Education» more  CORR 2007»
14 years 16 days ago
Overlap-free words and spectra of matrices
Raphael M. Jungers, Vladimir Protasov, Vincent D. ...
CORR
2007
Springer
98views Education» more  CORR 2007»
14 years 16 days ago
Enrichment of Qualitative Beliefs for Reasoning under Uncertainty
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
Xinde Li, Xinhan Huang, Florentin Smarandache, Jea...
CORR
2007
Springer
97views Education» more  CORR 2007»
14 years 16 days ago
Unfolding Restricted Convex Caps
This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restri...
Joseph O'Rourke
CORR
2007
Springer
49views Education» more  CORR 2007»
14 years 16 days ago
The rank-width of Directed Graphs
Mamadou Moustapha Kanté
CORR
2007
Springer
141views Education» more  CORR 2007»
14 years 16 days ago
A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
Alfredo Buttari, Julien Langou, Jakub Kurzak, Jack...
CORR
2007
Springer
112views Education» more  CORR 2007»
14 years 16 days ago
Enumerating the Nash equilibria of rank 1-games
A bimatrix game (A, B) is called a game of rank k if the rank of the matrix A + B is at most k. We consider the problem of enumerating the Nash equilibria in
Thorsten Theobald
CORR
2007
Springer
65views Education» more  CORR 2007»
14 years 16 days ago
The P versus NP Brief
Mikael Franzen
CORR
2007
Springer
70views Education» more  CORR 2007»
14 years 16 days ago
On the Proof Complexity of Deep Inference
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
Paola Bruscoli, Alessio Guglielmi
CORR
2007
Springer
92views Education» more  CORR 2007»
14 years 16 days ago
Using RDF to Model the Structure and Process of Systems
Marko A. Rodriguez, Jennifer H. Watkins, Johan Bol...