1342 search results - page 254 / 269 » Ordered Programs as Abductive Systems |
ICEIS
2009
IEEE
14 years 3 months ago
2009
IEEE
We propose two methods for constructing automated programs for extraction of information from a class of web pages that are very common and of high practical significance - varia...
SASO
2008
IEEE
14 years 3 months ago
2008
IEEE
Currently, cycle sharing over the Internet is a one-way deal. Computer owners only have one role in the process: to donate their computers’ idle time. This is due to the fact th...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CASES
2004
ACM
14 years 2 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
FQAS
1998
Springer
14 years 26 days ago
1998
Springer
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...