1416 search results - page 148 / 284 » An Exact Interpretation of While |
78
Voted
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
ICCAD
1997
IEEE
15 years 5 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
113
Voted
ISSAC
1997
Springer
15 years 5 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
108
click to vote
NN
1997
Springer
15 years 5 months ago
1997
Springer
Bayesian networks are directed acyclic graphs that represent dependencies between variables in a probabilistic model. Many time series models, including the hidden Markov models (H...
RECOMB
1997
Springer
15 years 5 months ago
1997
Springer
Algorithm development for comparing and aligning biological sequences has, until recently, been based on the SI model of mutational events which assumes that modi cation of sequen...