211 search results - page 7 / 43 » 04491 Abstracts Collection - Synchronous Programming - SYNCH... |
AWIC
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
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...
84
Voted
ROBOCUP
2001
Springer
15 years 1 months ago
2001
Springer
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...
ICDCS
2002
IEEE
15 years 2 months ago
2002
IEEE
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...
169
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
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: ...