Sciweavers

8030 search results - page 1411 / 1606
» User Interface
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 11 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
146
Voted
MM
2003
ACM
133views Multimedia» more  MM 2003»
15 years 9 months ago
Geographic location tags on digital images
We describe an end-to-end system that capitalizes on geographic location tags for digital photographs. The World Wide Media eXchange (WWMX) database indexes large collections of i...
Kentaro Toyama, Ron Logan, Asta Roseway
120
Voted
PETRA
2009
ACM
15 years 10 months ago
Towards a social fabric for pervasive assistive environments
The digital divide refers to a lack of technological access, part of which involves exclusion from a blooming arena of social interaction. People without mobile phones or PCs cann...
Clare Owens, David E. Millard, Andrew Stanford-Cla...
134
Voted
IPPS
1998
IEEE
15 years 8 months ago
BIP: A New Protocol Designed for High Performance Networking on Myrinet
Abstract. High speed networks are now providing incredible performances. Software evolution is slow and the old protocol stacks are no longer adequate for these kind of communicati...
Loïc Prylli, Bernard Tourancheau
151
Voted
NAR
2011
223views Computer Vision» more  NAR 2011»
14 years 6 months ago
miRBase: integrating microRNA annotation and deep-sequencing data
miRBase is the primary online repository for all microRNA sequences and annotation. The current release (miRBase 16) contains over 15 000 microRNA gene loci in over 140 species, a...
Ana Kozomara, Sam Griffiths-Jones
« Prev « First page 1411 / 1606 Last » Next »