Sciweavers

1581 search results - page 117 / 317
» Competitive intelligence process and tools for intelligence ...
Sort
View
DGO
2011
277views Education» more  DGO 2011»
14 years 3 months ago
Application of the MINOE regulatory analysis framework: case studies
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
Julia A. Ekstrom, Gloria T. Lau, Kincho H. Law, Ma...
153
Voted
LFCS
2009
Springer
15 years 10 months ago
A Clausal Approach to Proof Analysis in Second-Order Logic
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
113
Voted
MICAI
2005
Springer
15 years 9 months ago
Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic
ICTAI
1997
IEEE
15 years 7 months ago
GA-Based Performance Analysis of Network Protocols
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Gi...
ICMCS
2009
IEEE
150views Multimedia» more  ICMCS 2009»
15 years 1 months ago
Analysis of appearance features for human matching between different fields of view
Human matching between different fields of view is a difficult problem in intelligent video surveillance; whereas fusing multiple features has become a strong tool to solve it. In...
Xiaowei Lv, Qing-Jie Kong, Fei Weng, Yuncai Liu