1216 search results - page 108 / 244 » Hybrid type checking |
134
click to vote
APCCM
2010
15 years 5 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
112
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
- In this paper, we propose a novel rate allocation method for compound image coding using Quality-biased Rate-Distortion Optimization (QRDO) technique to enhance visual quality. T...
123
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we propose a new prototype learning/matching method that can be combined with support vector machines (SVM) in pattern recognition. This hybrid method has the follo...
139
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
137
click to vote
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
This paper examines the idea of combining Live Action Role-Playing (LARP) and MMORPG into a hybrid game named Takkar. We developed three versions of Takkar in an iterative fashion...