5417 search results - page 993 / 1084 » Simulation Optimization: Methods and Applications |
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
ACMICEC
2007
ACM
15 years 1 months ago
2007
ACM
An important problem in search engine advertising is keyword1 generation. In the past, advertisers have preferred to bid for keywords that tend to have high search volumes and hen...
DASFAA
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...
109
click to vote
EGICE
2006
15 years 1 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
108
click to vote
CVPR
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper general solutions for Nonlinear Nonnegative Component Analysis for data representation and recognition are proposed. That is, motivated by a combination of the Nonne...