Sciweavers

3322 search results - page 233 / 665
» Automatic Human Model Generation
Sort
View
ITCC
2002
IEEE
15 years 4 months ago
Design and Generation of Adaptable Web Information Systems with KIWIS
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
Marlène Villanova-Oliver, Jérô...
UML
2000
Springer
15 years 2 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 1 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
80
Voted
SIGIR
2008
ACM
14 years 11 months ago
Generating diverse katakana variants based on phonemic mapping
In Japanese, it is quite common for the same word to be written in several different ways. This is especially true for katakana words which are typically used for transliterating ...
Kazuhiro Seki, Hiroyuki Hattori, Kuniaki Uehara
NRHM
2000
95views more  NRHM 2000»
14 years 11 months ago
Hybrid narrative and categorical strategies for interactive and dynamic video presentation generation
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
Craig A. Lindley, Frank Nack