101 search results - page 17 / 21 » A New Class of Decidable Hybrid Systems |
IJCAI
2003
13 years 9 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
ICIP
2003
IEEE
14 years 1 months ago
2003
IEEE
Two hybrid systems for classifying seven categories of human facial expression are proposed. The £rst system combines independent component analysis (ICA) and support vector mach...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Scheduling algorithms assign contention probability for each link in Wireless Ad Hoc Networks and plays a key role in deciding the system performance. Recently, many lowcost di...
TARK
1992
Springer
13 years 11 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
TLDI
2005
ACM
14 years 1 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...