Sciweavers

826 search results - page 94 / 166
» What Triggers a Behavior
Sort
View
98
Voted
IWPC
1998
IEEE
15 years 5 months ago
DIME: A Direct Manipulation Environment for Evolutionary Development of Software
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...
Arun Lakhotia
74
Voted
CAV
2010
Springer
153views Hardware» more  CAV 2010»
15 years 4 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
99
Voted
KDD
2010
ACM
263views Data Mining» more  KDD 2010»
15 years 4 months ago
Social action tracking via noise tolerant time-varying factor graphs
Users’ behaviors (actions) in a social network are influenced by various factors such as personal interests, social influence, and global trends. However, few publications sys...
Chenhao Tan, Jie Tang, Jimeng Sun, Quan Lin, Fengj...
HYBRID
1995
Springer
15 years 4 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
90
Voted
WSC
2008
15 years 3 months ago
Multi-resolution spatial simulation for molecular crowding
Spatial phenomena attract increasingly interest in computational biology. Molecular crowding, i.e. a dense population of macromolecules, is known to have a significant impact on t...
Matthias Jeschke, Adelinde M. Uhrmacher