Sciweavers

5981 search results - page 139 / 1197
» time 2006
Sort
View
139
Voted
CPC
2006
116views more  CPC 2006»
15 years 3 months ago
Finding Large Independent Sets in Polynomial Expected Time
We consider instances of the maximum independent set problem that are constructed according to the following semirandom model. Let Gn,p be a random graph, and let S be a set consis...
Amin Coja-Oghlan
142
Voted
CSCW
2006
ACM
15 years 3 months ago
Temporality in Medical Work: Time also Matters
CSCW has long been concerned with the distribution of activities in time and in space, but the problems of distributed work have often taken analytic and technical precedence. In t...
Madhu C. Reddy, Paul Dourish, Wanda Pratt
ENTCS
2006
185views more  ENTCS 2006»
15 years 3 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
137
Voted
NECO
2007
150views more  NECO 2007»
15 years 3 months ago
Reinforcement Learning, Spike-Time-Dependent Plasticity, and the BCM Rule
Learning agents, whether natural or artificial, must update their internal parameters in order to improve their behavior over time. In reinforcement learning, this plasticity is ...
Dorit Baras, Ron Meir
135
Voted
JSS
2010
120views more  JSS 2010»
15 years 2 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...