258 search results - page 17 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
107
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
133
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Hidden Markov Models (HMMs) are one of the most fundamental and widely used statistical tools for modeling discrete time series. In general, learning HMMs from data is computation...
135
Voted
ICTIR
2009
Springer
15 years 1 months ago
2009
Springer
Intuitively, any `bag of words' approach in IR should benefit from taking term dependencies into account. Unfortunately, for years the results of exploiting such dependencies ...
133
Voted
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
128
Voted
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...