935 search results - page 44 / 187 » Stable models and difference logic |
IJIPT
2006
13 years 8 months ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
JLP
2006
13 years 8 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
Multiview video is increasingly getting attention due to emerging applications such as 3DTV and immersive teleconferencing. In this paper, we present a non-stationary Hidden Marko...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In modern automatic speech recognition systems, it is standard practice to cluster several logical hidden Markov model states into one physical, clustered state. Typically, the cl...
ICSEA
2009
IEEE
14 years 3 months ago
2009
IEEE
— In the context of service-oriented computing, services provide the capabilities necessary to support the business, especially its processes. Within the service modeling process...