473 search results - page 48 / 95 » Computing excluded minors |
113
click to vote
BIRTHDAY
2005
Springer
15 years 2 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...
113
click to vote
DIMVA
2006
15 years 1 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...
139
click to vote
SPLC
2007
15 years 1 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...
108
Voted
EAAI
2008
15 years 17 days 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...
CAD
2006
Springer
15 years 16 days 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...