Sciweavers

2111 search results - page 322 / 423
» An Approach to Software Testing of Machine Learning Applicat...
Sort
View
132
Voted
CODES
2010
IEEE
15 years 1 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
115
Voted
CHI
2004
ACM
16 years 3 months ago
Science at the Speed of Thought
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
Judith Ellen Devaney, Steven G. Satterfield, John ...
143
Voted
CIA
2007
Springer
15 years 9 months ago
Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome conicts in the behavior of agents can make the execution of interacti...
Gerben G. Meyer, Nicolae B. Szirbik
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Video News Shot Labeling Refinement via Shot Rhythm Models
We present a three-step post-processing method for increasing the precision of video shot labels in the domain of television news. First, we demonstrate that news shot sequences c...
John R. Kender, Milind R. Naphade
141
Voted
IROS
2006
IEEE
274views Robotics» more  IROS 2006»
15 years 9 months ago
Adaptive Scale Robust Segmentation for 2D Laser Scanner
Abstract— This paper presents a robust algorithm for segmentation and line detection in 2D range scans. The described method exploits the multimodal probability density function ...
Ruben Martinez-Cantin, José A. Castellanos,...