Sciweavers

7978 search results - page 430 / 1596
» Representation before computation
Sort
View
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
158
Voted
TSP
2010
15 years 1 months ago
Selection policy-induced reduction mappings for Boolean networks
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
Ivan Ivanov, Plamen Simeonov, Noushin Ghaffari, Xi...
ICASSP
2011
IEEE
14 years 10 months ago
Computer-assisted transcription of speech based on confusion network reordering
Large vocabulary automatic speech recognition (ASR) technologies perform well in known and controlled contexts. In less controlled conditions, however, human review is often neces...
Antoine Laurent, Sylvain Meignier, Téva Mer...
CORR
2011
Springer
168views Education» more  CORR 2011»
14 years 10 months ago
Robustness and modular structure in networks
Many complex systems, from power grids and the internet, to the brain and society, can be modeled using modular networks. Modules, densely interconnected groups of elements, often...
James P. Bagrow, Sune Lehmann, Yong-Yeol Ahn
156
Voted
SIGCSE
2009
ACM
111views Education» more  SIGCSE 2009»
16 years 7 months ago
Using daily student presentations to address attitudes and communication skills in CS1
Many CS1 courses lack a breadth in coverage of computing related topics and do not actively engage in nonprogramming computer science topics. In addition, many introductory (and...
Chris Bennett, Timothy Urness