Sciweavers

3005 search results - page 162 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
HUMO
2007
Springer
16 years 20 days ago
Recognizing Activities with Multiple Cues
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
Rahul Biswas, Sebastian Thrun, Kikuo Fujimura
JAIR
2006
102views more  JAIR 2006»
15 years 6 months ago
Properties and Applications of Programs with Monotone and Convex Constraints
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
Lengning Liu, Miroslaw Truszczynski
ENTCS
2007
107views more  ENTCS 2007»
15 years 6 months ago
Event Domains, Stable Functions and Proof-Nets
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
Samson Abramsky
ACSC
2005
IEEE
16 years 4 days ago
A Novel Fuzzy Logic Controller (FLC) for Shortening the TCP Channel Roundtrip Time by Eliminating User Buffer Overflow Adaptivel
The proposed Fuzzy Logic Controller (FLC) is a novel approach for dynamic buffer tuning at the user/server level. It eliminates buffer overflow by ensuring that the buffer length ...
Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dil...
EUSFLAT
2001
101views Fuzzy Logic» more  EUSFLAT 2001»
15 years 8 months ago
Fuzzy logic in organization analysis and control
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
Farley S. M. Nobre, Simon J. Steiner