6719 search results - page 1129 / 1344 » A Generalization of Automatic Sequences |
225
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
220
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
There are emerging technologies such as SAWSDL or WSMO that extend the current Web Services technologies to so called Semantic Web Services by combining the structural and semanti...
204
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Bursty features in text streams are very useful in many text mining applications. Most existing studies detect bursty features based purely on term frequency changes without takin...
182
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Due to the rapid increase in video capture technology, more and more tourist videos are captured every day, creating a challenge for organization and association with metadata. In...
152
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...