4666 search results - page 125 / 934 » Equations on Timed Languages |
HICSS
1995
IEEE
15 years 4 months ago
1995
IEEE
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...
109
Voted
AAAI
1996
15 years 2 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
100
Voted
BC
2007
15 years 1 months ago
2007
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...
80
Voted
ICALP
1997
Springer
15 years 5 months ago
1997
Springer
We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth≤ k and, if so, outputs a branch decomposition of minimum width....
142
Voted
FTRTFT
1992
Springer
15 years 5 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...