Sciweavers

1124 search results - page 119 / 225
» Refined quorum systems
Sort
View
FLOPS
2004
Springer
15 years 10 months ago
Analysing Definitional Trees: Looking for Determinism
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
Pascual Julián Iranzo, Christian Villamizar...
SCA
2007
15 years 8 months ago
Guided time warping for motion editing
Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing c...
Eugene Hsu, Marco da Silva, Jovan Popovic
ASM
2008
ASM
15 years 8 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
COLING
1992
15 years 7 months ago
Construction Of Corpus-Based Syntactic Rules For Accurate Speech Recognition
This paper describes the syntactic rules which are applied in the Japanese speech recognition module of a speech-to-speech translation system. Japanese is considered to be a free ...
Junko Hosaka, Toshiyuki Takezawa
RE
2002
Springer
15 years 6 months ago
AGORA: Attributed Goal-Oriented Requirements Analysis Method
This paper presents an extended version of GoalOriented Requirements Analysis Method called AGORA, where attribute values, e.g. contribution values and preference matrices, are ad...
Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki