12115 search results - page 2335 / 2423 » Bisimulation of Dynamical Systems |
136
click to vote
IUI
2010
ACM
16 years 28 days ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
141
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
In online content voting networks, aggregate user activities (e.g., submitting and rating content) make high-quality content thrive through the unprecedented scale, high dynamics ...
128
click to vote
RECOMB
2010
Springer
15 years 11 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
144
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
145
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...