Sciweavers

211 search results - page 7 / 43
» 04491 Abstracts Collection - Synchronous Programming - SYNCH...
Sort
View
90
Voted
AWIC
2005
Springer
15 years 3 months ago
Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
Costin Badica, Amelia Badica, Elvira Popescu
ICFP
1999
ACM
15 years 1 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
ROBOCUP
2001
Springer
147views Robotics» more  ROBOCUP 2001»
15 years 1 months ago
Behavior Combination and Swarm Programming
Abstract. The RoboCup Simulator League provides an excellent platform for research on swarm computing. Our research focuses on group behaviors emerge from collections of actors mak...
Keen Browne, Jon McCune, Adam Trost, David Evans, ...
ICDCS
2002
IEEE
15 years 2 months ago
D-Stampede: Distributed Programming System for Ubiquitous Computing
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
Sameer Adhikari, Arnab Paul, Umakishore Ramachandr...
168
Voted
POPL
2007
ACM
15 years 9 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might