Sciweavers

6253 search results - page 449 / 1251
» Use Case Modeling Guidelines
Sort
View
AB
2007
Springer
15 years 11 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
ROBOCUP
2005
Springer
146views Robotics» more  ROBOCUP 2005»
15 years 10 months ago
Using a Symmetric Rotor as a Tool for Balancing
Abstract. In the Humanoid Leagues balancing during walking and running is still the biggest challenge for most of the teams. We present here some work in which a dynamic walker is ...
Norbert Michael Mayer, Minoru Asada, Rodrigo da Si...
151
Voted
VISUAL
2005
Springer
15 years 10 months ago
Unsupervised Color Film Restoration Using Adaptive Color Equalization
Chemical processing of celluloid based cinematic film, becomes unstable with time, unless they are stored at low temperatures. Some defects, such as bleaching on color movies, are ...
Alessandro Rizzi, Carlo Gatta, C. Slanzi, Gianluig...
ACSC
2009
IEEE
15 years 9 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
162
Voted
NC
1998
143views Neural Networks» more  NC 1998»
15 years 6 months ago
Spotting Arabic Phonetic Features Using Modular Connectionist Architectures and a Rule-Based System
This paper reports the results of experiments in complex Arabic phonetic features identification using a rulebased system (SARPH) and modular connectionist architectures. The firs...
Sid-Ahmed Selouani, Jean Caelen