Sciweavers

4134 search results - page 707 / 827
» Collaborative Practice Research
Sort
View
LISP
2002
107views more  LISP 2002»
15 years 3 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 3 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
119
Voted
TMI
1998
91views more  TMI 1998»
15 years 2 months ago
A Vision-Based Technique for Objective Assessment of Burn Scars
—In this paper a method for the objective assessment of burn scars is proposed. The quantitative measures developed in this research provide an objective way to calculate elastic...
Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar, ...
TEC
2002
88views more  TEC 2002»
15 years 2 months ago
Parallelism and evolutionary algorithms
Abstract--This paper contains a modern vision of the parallelization techniques used for evolutionary algorithms (EAs). The work is motivated by two fundamental facts: first, the d...
Enrique Alba, Marco Tomassini
TON
2002
99views more  TON 2002»
15 years 2 months ago
Beyond folklore: observations on fragmented traffic
Fragmented IP traffic is a poorly understood component of the overall mix of traffic on the Internet. Many assertions about the nature and extent of fragmented traffic are anecdota...
Colleen Shannon, David Moore, Kimberly C. Claffy