15660 search results - page 209 / 3132 » The Unbalance of Set Systems |
187
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
165
click to vote
COST
2009
Springer
15 years 10 months ago
2009
Springer
We present the concept and motivations for the development of Affect Listeners, conversational systems aiming to detect and adapt to affective states of users, and meaningfully res...
163
click to vote
MEMBRANE
2004
Springer
16 years 2 days ago
2004
Springer
We proved that two classes of Communicative P systems with 3 membranes and with minimal cooperation, namely P systems with symport/antiport rules of size 1 and and P systems with s...
179
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Spatiotemporal database management systems can become an enabling technology for important applications such as Geographic Information Systems (GIS), environmental information sys...
179
click to vote
CLEAR
2007
Springer
15 years 8 months ago
2007
Springer
A speed performance improved vehicle tracking system on a given set of evaluation videos of a street surveillance system is presented. We implement multi-threading technique to mee...