10874 search results - page 308 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
158
click to vote
RE
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
164
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
150
click to vote
PATMOS
2004
Springer
16 years 4 days ago
2004
Springer
Current characterization methods introduce an important error in the measurement process. In this paper, we present a novel method to drive the timing characterization of logic gat...
172
click to vote
ANSS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
180
click to vote
CA
2003
IEEE
16 years 2 days ago
2003
IEEE
: We present a novel approach for modeling hair using level-of-detail representations. The set of representations include individual strands, hair clusters, and hair strips. They a...