5227 search results - page 865 / 1046 » Constructing New Media |
149
click to vote
ENTCS
2006
15 years 7 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
189
Voted
CAD
2007
Springer
15 years 7 months ago
2007
Springer
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
194
Voted
IPL
2008
15 years 7 months ago
2008
An optimal labeling where labels are disjoint axis-parallel equal-size squares is called 2PM labeling if the labels have maximum length each attached to its corresponding point on...
219
click to vote
IPM
2008
15 years 7 months ago
2008
Authorship analysis of electronic texts assists digital forensics and anti-terror investigation. Author identification can be seen as a single-label multi-class text categorizatio...
210
click to vote
IJCV
2006
15 years 7 months ago
2006
A new approach performing surface extraction from 3D images under user defined geometrical constraints is presented. The constraints are introduced through boundary curves given by...