1914 search results - page 152 / 383 » Verification by Abstract Interpretation |
AUSAI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...
108
click to vote
PUC
2010
14 years 11 months ago
2010
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
117
Voted
DATESO
2010
14 years 10 months ago
2010
Abstract. Tandem mass spectrometry is a widely used method for protein and peptide sequences identification. Since the mass spectra contain up to 80% of noise and many other inaccu...
92
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
103
click to vote
ESAW
2004
Springer
15 years 6 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...