7681 search results - page 1352 / 1537 » Typed Membrane Systems |
132
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents the results of an empirical study suggesting that, while laughter is a very good indicator of amusement, the kind of laughter (unvoiced laughter vs.voiced laug...
154
click to vote
ET
2010
15 years 1 months ago
2010
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
192
click to vote
ICONIP
2010
15 years 1 months ago
2010
Recently, several smart phones are equipped with a 3D-accelerometer that can be used for gesture-based user interface (UI). In order to utilize the gesture UI for the real-time sys...
151
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
181
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...