1496 search results - page 129 / 300 » Definability of Initial Segments |
164
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Defining requirements is one of the most critical activities in the development of software intensive systems. The EasyWinWin system has been very good in capturing initial requir...
140
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Academic literature has documented for a long time the existence of important price gains in the first trading day of initial public offerings (IPOs). Most of the empirical analys...
137
Voted
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
144
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper describes a new approach in locating the segments of singing voice in pop musical songs. Initially, GLR distance measure is employed to temporally detect the boundaries...
127
click to vote
JSYML
2002
15 years 4 months ago
2002
In this article we provide wellordering proofs for metapredicative systems of explicit mathematics and admissible set theory featuring suitable axioms about the Mahloness of the u...