Sciweavers

CORR
2010
Springer
109views Education» more  CORR 2010»
13 years 8 months ago
Fast simulation of large-scale growth models
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...
Tobias Friedrich, Lionel Levine
CORR
2010
Springer
47views Education» more  CORR 2010»
13 years 8 months ago
The Local Lemma Is Tight for SAT
Heidi Gebauer, Tibor Szabó, Gábor Ta...
CORR
2010
Springer
77views Education» more  CORR 2010»
13 years 8 months ago
Optimization of transport protocols with path-length constraints in complex networks
Jose J. Ramasco, Marta S. de la Lama, Eduardo Lope...
CORR
2010
Springer
62views Education» more  CORR 2010»
13 years 8 months ago
FPGA Based Assembling of Facial Components for Human Face Construction
This paper aims at VLSI realization for generation of a new face from textual description. The FASY (FAce SYnthesis) System is a Face Database Retrieval and new Face generation Sys...
Santanu Halder, Debotosh Bhattacharjee, Mita Nasip...
CORR
2010
Springer
232views Education» more  CORR 2010»
13 years 8 months ago
Application of Statistical Features in Handwritten Devnagari Character Recognition
In this paper a scheme for offline Handwritten Devnagari Character Recognition is proposed, which uses different feature extraction methodologies and recognition algorithms. The pr...
Sandhya Arora, Debotosh Bhattacharjee, Mita Nasipu...
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 8 months ago
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
We present an algorithm for computing directly the denotation of a modal
Matthew Hague, C.-H. Luke Ong
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 8 months ago
Secure Transmission with Multiple Antennas II: The MIMOME Wiretap Channel
The capacity of the Gaussian wiretap channel model is analyzed when there are multiple antennas at the sender, intended receiver and eavesdropper. The associated channel matrices a...
Ashish Khisti, Gregory W. Wornell
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 8 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...