759 search results - page 130 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
ENTCS
2002
13 years 10 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
SIGMOD
2009
ACM
14 years 11 months ago
2009
ACM
This paper addresses the problem of monitoring the k nearest neighbors to a dynamically changing path in road networks. Given a destination where a user is going to, this new quer...
EGOV
2010
Springer
14 years 1 days ago
2010
Springer
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
In this paper we present FormSys, a Web-based system that service-enables form documents. It offers two main services: filling in forms based on Web services’ incoming SOAP me...
CIKM
2009
Springer
14 years 5 months ago
2009
Springer
Features in many real world applications such as Cheminformatics, Bioinformatics and Information Retrieval have complex internal structure. For example, frequent patterns mined fr...