166 search results - page 20 / 34 » Formal Methods: Theory Becoming Practice |
104
click to vote
DMS
2008
14 years 11 months ago
2008
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...
108
click to vote
AGTIVE
2003
Springer
15 years 2 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
156
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...