6020 search results - page 365 / 1204 » A New Approach to Model Counting |
162
click to vote
AI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
183
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In our previous work we presented a new 2D-3D mixed face recognition scheme called Partial Principal Component Analysis (P2 CA) [1]. The main contribution of P2 CA is that it uses...
146
click to vote
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
182
click to vote
SCAM
2006
IEEE
16 years 24 days ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
187
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...