5269 search results - page 252 / 1054 » order 2007 |
226
click to vote
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an agent-based approach into a more general service oriented architecture for addressing the requirements of accessibility content and services in an ambient i...
234
click to vote
UCS
2007
Springer
16 years 1 months ago
2007
Springer
COMPASS is a location framework where location sources are realized as plugins that contribute probability density functions to the overall localization result. In addition, COMPAS...
203
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
187
click to vote
AAIM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The Longest Common Subsequence (LCS) problem is a classic and well-studied problem in computer science. The LCS problem is a common task in DNA sequence analysis with man...
219
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...