Results 281 to 290 of about 50,658,620 (345)
Some of the next articles are maybe not open access.
Length-Controlled AlpacaEval: A Simple Way to Debias Automatic Evaluators
arXiv.orgLLM-based auto-annotators have become a key component of the LLM development process due to their cost-effectiveness and scalability compared to human-based evaluation. However, these auto-annotators can introduce biases that are hard to remove.
Yann Dubois +3 more
semanticscholar +1 more source
Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89, 1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computation time as a function of the size of input. We describe a system to derive such time bounds automatically using abstract interpretation.
openaire +2 more sources
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computation time as a function of the size of input. We describe a system to derive such time bounds automatically using abstract interpretation.
openaire +2 more sources
Automatic Analysis of Moving Images
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1981Cine film and videotape are used to record a variety of natural processes in biology, medicine, meteorology, etc. This paper describes a system which detects and tracks moving objects from these records to obtain meaningful measures of their movements, such as linear and angular velocities. Features of the system are as follows.
Masahiko Yachida +2 more
openaire +2 more sources
Automatic authorization analysis
2015Viele Unternehmen verwenden heutzutage ERP (Enterprise Resource Planning) Systeme wie das SAP System zur Unterstützung des täglichen Geschäfts angefangen vom Rechnungswesen bis hin zur Steuerung einer Fertigungslinie. Diese Systeme sind hinsichtlich der Verwaltung von Berechtigungen sehr komplex und besitzen deswegen eine hohe Fehleranfälligkeit ...
openaire +3 more sources
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
We summarise the state of the art in automatic amortized resource analysis. We then focus on some recent applications to term rewriting with G. Moser and conclude with open problems and questions.
openaire +1 more source
We summarise the state of the art in automatic amortized resource analysis. We then focus on some recent applications to term rewriting with G. Moser and conclude with open problems and questions.
openaire +1 more source
Automatic Termination Analysis
1993Proving termination of programs is important in any approach to program development. In logic programming, where the logic and the control component of a program can very easily be dealt with in two separate phases of the development, the termination issue is solely addressed in the second phase.
Kristof Verschaetse +2 more
openaire +1 more source
Automatic Nonzero Structure Analysis
SIAM Journal on Computing, 1999The efficiency of sparse direct solvers heavily depends on the nonzero structure of the system matrix. The same is true for the algebraic construction of some preconditioners, e.g. block ILU preconditioners, algebraic domain decomposition preconditioners etc.
Aart J. C. Bik, Harry A. G. Wijshoff
openaire +3 more sources
IFAC Proceedings Volumes, 2009
Abstract To an exact diagnosis statement a correct evaluation of sleep electroencephalogram is required. The sleep activity record is very long (a few hours). The evaluation of the sleep activity is time-consuming. The evaluation is provided by a doctor. In order to save time various automatic evaluations methods are developed.
Michal Gála, Branko Babusiak
openaire +1 more source
Abstract To an exact diagnosis statement a correct evaluation of sleep electroencephalogram is required. The sleep activity record is very long (a few hours). The evaluation of the sleep activity is time-consuming. The evaluation is provided by a doctor. In order to save time various automatic evaluations methods are developed.
Michal Gála, Branko Babusiak
openaire +1 more source
Automatic analysis of facial expressions
Proceedings of the 2014 ACM/IEEE international conference on Human-robot interaction, 2014Facial behaviour is our preeminent means to communicating affective and social signals. This talk discusses a number of components of human facial behaviour, how they can be automatically sensed and analysed by computers, what is the past research in the field conducted by the iBUG group at Imperial College London, and how far we are from enabling ...
openaire +2 more sources
Automatic recognition and analysis of synapses
Computers in Biology and Medicine, 1976An automatic system for recognizing synaptic junctions would allow analysis of large samples of tissue for the possible classification of specific well-defined sets of synapses based upon structural morphometric indices. In this paper the three steps of our system are described: (1) cytochemical tissue preparation to allow easy recognition of the ...
J A, Ungerleider +2 more
openaire +2 more sources