Sciweavers

2423 search results - page 233 / 485
» AnswerArt - Contextualized Question Answering
Sort
View
ISCAS
2007
IEEE
138views Hardware» more  ISCAS 2007»
16 years 27 days ago
Adaptive Pinning Synchronization of A General Complex Dynamical Network
— This paper further investigates and answers two fundamental questions in the complex dynamical networks: i) how many nodes should a general complex dynamical network with fixe...
Jin Zhou, Junan Lu, Jinhu Lu
LICS
2007
IEEE
16 years 27 days ago
Separating DAG-Like and Tree-Like Proof Systems
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
Phuong Nguyen
WCRE
2007
IEEE
16 years 26 days ago
Visualizing Software Architecture Evolution Using Change-Sets
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
Andrew McNair, Daniel M. Germán, Jens H. We...
COCOON
2007
Springer
16 years 23 days ago
On the Hardness of Optimization in Power Law Graphs
Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks exhibit ...
Alessandro Ferrante, Gopal Pandurangan, Kihong Par...
CSR
2007
Springer
16 years 23 days ago
Inverting Onto Functions and Polynomial Hierarchy
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
Harry Buhrman, Lance Fortnow, Michal Koucký...