Sciweavers

7792 search results - page 1313 / 1559
» Designing the spectator experience
Sort
View
BELL
2000
107views more  BELL 2000»
15 years 6 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
BIOINFORMATICS
2002
146views more  BIOINFORMATICS 2002»
15 years 6 months ago
A duplication growth model of gene expression networks
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
Ashish Bhan, David J. Galas, T. Gregory Dewey
CACM
2000
108views more  CACM 2000»
15 years 6 months ago
The KidsRoom
The KidsRoom is a perceptually-based, interactive, narrative playspace for children. Images, music, narration, light, and sound effects are used to transform a normal child's...
Aaron F. Bobick, Stephen S. Intille, James W. Davi...
CANDC
2002
ACM
15 years 6 months ago
The impact of functional knowledge on sketching
Previous research investigating sketching processes during object visualisation and design has indicated that drawing occurs in a primarily part-by-part manner, whereby the compon...
Winger Tseng, Stephen A. R. Scrivener, Linden J. B...
CN
2002
195views more  CN 2002»
15 years 6 months ago
A simulation study of the OSPF-OMP routing algorithm
Open shortest path first (OSPF) is the most widely used internal gateway routing protocol on the Internet. However, one shortcoming is that it does not take advantage of the exist...
G. Michael Schneider, Tamás Németh
« Prev « First page 1313 / 1559 Last » Next »