332 search results - page 12 / 67 » Many-valued hybrid logic |
136
click to vote
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
102
click to vote
CHI
2011
ACM
14 years 3 months ago
2011
ACM
We introduce “Facet-Streams”, a hybrid interactive surface for co-located collaborative product search on a tabletop. Facet-Streams combines techniques of information visualiz...
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
Possibilistic networks and possibilistic logic bases are important tools to deal with uncertain pieces of information. Both of them offer a compact representation of possibility ...
110
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...