Sciweavers

3174 search results - page 108 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
15 years 12 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
TECS
2002
81views more  TECS 2002»
15 years 6 months ago
System-level exploration of association table implementations in telecom network applications
les to further raise the abstraction level of the initial specification, where dynamic data sets can be specified without low-level details. Our method is suited for hardware and s...
Chantal Ykman-Couvreur, J. Lambrecht, A. Van Der T...
PKDD
2010
Springer
183views Data Mining» more  PKDD 2010»
15 years 4 months ago
Fast Active Exploration for Link-Based Preference Learning Using Gaussian Processes
Abstract. In preference learning, the algorithm observes pairwise relative judgments (preference) between items as training data for learning an ordering of all items. This is an i...
Zhao Xu, Kristian Kersting, Thorsten Joachims
IPPS
2010
IEEE
15 years 4 months ago
Exploring parallelism in short sequence mapping using Burrows-Wheeler Transform
Next-generation high throughput sequencing instruments are capable of generating hundreds of millions of reads in a single run. Mapping those reads to a reference genome is an ext...
Doruk Bozdag, Ayat Hatem, Ümit V. Çata...
IV
2010
IEEE
211views Visualization» more  IV 2010»
15 years 4 months ago
Taggram: Exploring Geo-data on Maps through a Tag Cloud-Based Visualization
Searching and exploring on digital maps are normally performed through simple text boxes and zoomand-pan interfaces. In this paper, however, we present a novel technique, namely T...
Dinh-Quyen Nguyen, Heidrun Schumann