Sciweavers

702 search results - page 65 / 141
» Identifying Graph Automorphisms Using Determining Sets
Sort
View
91
Voted
SIAMCOMP
2010
97views more  SIAMCOMP 2010»
15 years 23 days ago
Designing Network Protocols for Good Equilibria
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
Ho-Lin Chen, Tim Roughgarden, Gregory Valiant
ICSE
1997
IEEE-ACM
15 years 6 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
ACSC
2004
IEEE
15 years 6 months ago
Learning Models for English Speech Recognition
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
Huayang Xie, Peter Andreae, Mengjie Zhang, Paul Wa...
112
Voted
WASA
2009
Springer
186views Algorithms» more  WASA 2009»
15 years 7 months ago
Utopia Providing Trusted Social Network Relationships within an Un-trusted Environment
Abstract. This paper introduces an unobtrusive method and distributed solution set to aid users of on-line social networking sites, by creating a trusted environment in which every...
William Gauvin, Benyuan Liu, Xinwen Fu, Jie Wang
NAR
2007
155views more  NAR 2007»
15 years 1 months ago
AthaMap web tools for the analysis and identification of co-regulated genes
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...
Claudia Galuschka, Martin Schindler, Lorenz Bü...