Sciweavers

14709 search results - page 2448 / 2942
» Semantic feature modelling
Sort
View
WOODPECKER
2001
15 years 8 months ago
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....
WSCG
2001
110views more  WSCG 2001»
15 years 8 months ago
Moving Facial Image Transformations Based on Static 2D Prototypes
This paper describes a new method for creating visually realistic moving facial image sequences that retain an actor's personality (individuality, expression and characterist...
Bernard Tiddeman, David I. Perrett
PDPTA
2003
15 years 8 months ago
A Universal Parallel SAT Checking Kernel
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
Wolfgang Blochinger, Carsten Sinz, Wolfgang Kü...
ACL
1998
15 years 8 months ago
Unification-based Multimodal Parsing
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...
Michael Johnston
IC
2000
15 years 8 months ago
Virtual Campus: A Web-Based Customized Learning Environment
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....
Ka-po Ma, Michael R. Lyn, Wing-Kay Kan
« Prev « First page 2448 / 2942 Last » Next »