Sciweavers

5592 search results - page 405 / 1119
» On Random Betweenness Constraints
Sort
View
SCAM
2003
IEEE
16 years 11 hour ago
Online Cycle Detection and Difference Propagation for Pointer Analysis
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
David J. Pearce, Paul H. J. Kelly, Chris Hankin
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 11 months ago
Congestion control algorithms from optimal control perspective
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
Javad Lavaei, John C. Doyle, Steven H. Low
171
Voted
CAIP
2009
Springer
110views Image Analysis» more  CAIP 2009»
15 years 11 months ago
Optic Flow Using Multi-scale Anchor Points
We introduce a new method to determine the flow field of an image sequence using multi-scale anchor points. These anchor points manifest themselves in the scale-space representat...
Pieter van Dorst, Bart Janssen, Luc Florack, Bart ...
GLOBE
2009
Springer
15 years 11 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman
AGENTCL
2000
Springer
15 years 11 months ago
What Is a Conversation Policy?
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
Mark Greaves, Heather Holmback, Jeffrey Bradshaw