6045 search results - page 333 / 1209 » Computable Linearizations of Well-partial-orderings |
203
click to vote
BIRTHDAY
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
168
click to vote
IMR
2003
Springer
16 years 20 days ago
2003
Springer
This paper presents recent progress and extensions to TriQuaMesh (TQM) [1], targeted at providing good quality surface meshes: Increased robustness of the 1D mesh generator to han...
174
click to vote
HAPTICS
2010
IEEE
16 years 17 days ago
2010
IEEE
Which criteria determine the formation of rest-to-rest arm movements when interacting with virtual mass-damper dynamics? A novel bilevel optimization approach is used to find the ...
199
Voted
CPM
2010
Springer
16 years 8 days ago
2010
Springer
We study the minimum mosaic problem, an optimization problem originated in population genomics. We develop a new lower bound, called the C bound. The C bound is provably higher and...
227
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...