Sciweavers

3639 search results - page 421 / 728
» Experiments on IPv6 Testing
Sort
View
KDD
2005
ACM
157views Data Mining» more  KDD 2005»
16 years 3 months ago
A fast kernel-based multilevel algorithm for graph clustering
Graph clustering (also called graph partitioning) -- clustering the nodes of a graph -- is an important problem in diverse data mining applications. Traditional approaches involve...
Inderjit S. Dhillon, Yuqiang Guan, Brian Kulis
POPL
2003
ACM
16 years 3 months ago
From symptom to cause: localizing errors in counterexample traces
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
Thomas Ball, Mayur Naik, Sriram K. Rajamani
AMS
2007
Springer
281views Robotics» more  AMS 2007»
15 years 9 months ago
A Mobile Service Robot for Life Science Laboratories
Abstract. In this paper we presents a project that is developing a mobile service robot to assist users in biological and pharmaceutical laboratories by executing routine jobs such...
Erik Schulenburg, Norbert Elkmann, Markus Fritzsch...
APGV
2006
ACM
181views Visualization» more  APGV 2006»
15 years 9 months ago
Categorization of natural scenes: local vs. global information
Understanding the robustness and rapidness of human scene categorization has been a focus of investigation in the cognitive sciences over the last decades. At the same time, progr...
Julia Vogel, Adrian Schwaninger, Christian Wallrav...
SIGUCCS
2005
ACM
15 years 8 months ago
Developing a synchronous web seminar application for online learning
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
Michael D. Ciocco, Neil Toporski, Michael Dorris