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»
15 years 8 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
121
Voted
EKAW
1999
Springer
15 years 6 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
15 years 8 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
15 years 8 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
156
Voted
BICOB
2009
Springer
15 years 8 days 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...