Sciweavers

4629 search results - page 373 / 926
» Space Kernel Analysis
Sort
View
138
Voted
ICMCS
2005
IEEE
134views Multimedia» more  ICMCS 2005»
16 years 9 days ago
Affective Meeting Video Analysis
In this paper we examine the affective content of meeting videos. First we asked five subjects to manually label three meeting videos using continuous response measurement (contin...
Alejandro Jaimes, Takeshi Nagamine, Jianyi Liu, Ke...
GECCO
2005
Springer
16 years 6 days ago
A theoretical analysis of the HIFF problem
We present a theoretical analysis of Watson’s Hierarchicalif-and-only-if (HIFF) problem using a variety of tools. These include schema theory and course graining, the concept of...
Nicholas Freitag McPhee, Ellery Fussell Crane
179
Voted
ISORC
1999
IEEE
15 years 11 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
15 years 10 months ago
Sensor-Based Planning and Nonsmooth Analysis
This paper describes some initial steps towards sensor based path planning in an unknown static environment. The method is a based on a sensor-based incremental construction of a o...
Howie Choset, Joel W. Burdick
153
Voted
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...