Sciweavers

658 search results - page 56 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
ICRA
2005
IEEE
145views Robotics» more  ICRA 2005»
14 years 2 months ago
Dynamic Manipulation of a Sphere on a Disk by Inclination Control of the Disk
- Human beings cannot control a position of sphere on the disk without seeing it. Because under such a condition, as we determine the position and estimate the motion of sphere by ...
Masayuki Hara, Yoshinori Tanaka, Tetsuro Yabuta
EKAW
1999
Springer
14 years 1 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
CODES
2005
IEEE
14 years 2 months ago
Dynamic phase analysis for cycle-close trace generation
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
Cristiano Pereira, Jeremy Lau, Brad Calder, Rajesh...
WCRE
2006
IEEE
14 years 2 months ago
Animated Visualization of Software History using Evolution Storyboards
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
Dirk Beyer, Ahmed E. Hassan
BICOB
2009
Springer
13 years 6 months ago
A Biclustering Method to Discover Co-regulated Genes Using Diverse Gene Expression Datasets
We propose a two-step biclustering approach to mine co-regulation patterns of a given reference gene to discover other genes that function in a common biological process. Currently...
Doruk Bozdag, Jeffrey D. Parvin, Ümit V. &Cce...