473 search results - page 48 / 95 » Computing excluded minors |
146
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
148
click to vote
DIMVA
2006
15 years 5 months ago
2006
This paper presents ViSe, a virtual security testbed, and demonstrates how it can be used to efficiently study computer attacks and suspect tools as part of a computer crime recons...
178
click to vote
SPLC
2007
15 years 5 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
137
click to vote
EAAI
2008
15 years 4 months ago
2008
Facial expression recognition has potential applications in different aspects of day-to-day life not yet realized due to absence of effective expression recognition techniques. Th...
112
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...