Sciweavers

3378 search results - page 126 / 676
» A universe of binding and computation
Sort
View
NAR
2011
232views Computer Vision» more  NAR 2011»
14 years 4 months ago
REDfly v3.0: toward a comprehensive database of transcriptional regulatory elements in Drosophila
The REDfly database of Drosophila transcriptional cis-regulatory elements provides the broadest and most comprehensive available resource for experimentally validated cis-regulato...
Steven M. Gallo, Dave T. Gerrard, David Miner, Mic...
CW
2005
IEEE
14 years 12 months ago
Place Metaphors in Educational Cyberworlds: a Virtual Campus Case Study
In the recent years, the usage of 3D cyberworlds for educational purposes has increased. The metaphors behind the design of virtual places are quite diverse, from replication of r...
Ekaterina Prasolova-Førland, Alexei Sourin,...
CONCUR
2008
Springer
14 years 11 months ago
R-Automata
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
APAL
1998
71views more  APAL 1998»
14 years 9 months ago
Splitting Theorems and the Jump Operator
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerab...
Rodney G. Downey, Richard A. Shore
JPDC
2011
136views more  JPDC 2011»
14 years 24 days ago
Replicated abstract data types: Building blocks for collaborative applications
ed abstract data types: Building blocks for collaborative applications Hyun-Gul Roha,∗ , Myeongjae Jeonb , Jin-Soo Kimc , Joonwon Leec a Department of Computer Science, KAIST, Da...
Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon ...