Sciweavers

2625 search results - page 189 / 525
» Applications 2000
Sort
View
ENTCS
2000
109views more  ENTCS 2000»
15 years 4 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
ETS
2000
IEEE
126views Hardware» more  ETS 2000»
15 years 4 months ago
Different (Key)strokes for Different Folks: Designing online venues for professional communities
Educational on-line resources are expanding in their application beyond delivering courses to providing venues in which members of professional communities of practice meet to exc...
Liwana S. Bringelson, Tom Carey
FGCS
2000
139views more  FGCS 2000»
15 years 4 months ago
Ant algorithms
This paper overviews recent work on ant algorithms, that is, algorithms for discrete optimization which took inspiration from the observation of ant colonies foraging behavior, an...
Marco Dorigo, Gianni Di Caro, Thomas Stützle
IDA
2000
Springer
15 years 4 months ago
Relation-based aggregation: finding objects in large spatial datasets
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...
Xingang Huang, Feng Zhao
IJCIS
2000
106views more  IJCIS 2000»
15 years 4 months ago
Agents in Overalls: Experiences and Issues in the Development and Deployment of Industrial Agent-Based Systems
Agent technologies have steadily matured in moving from the research laboratory to industrial application over the last ten years. Numerous systems have been deployed or are under...
H. Van Dyke Parunak