1397 search results - page 146 / 280 » On the Need for Practical Formal Methods |
147
click to vote
IJCV
2006
15 years 4 months ago
2006
In order to reconstruct 3-D shape from two uncalibrated views, one needs to resolve two problems: (i) the computed focal lengths can be imaginary; (ii) the computation fails for fi...
173
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...
151
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
110
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Selected mapping (SLM) is a well-known method for reducing the peak-to-average power ratio (PAPR) in orthogonal frequency-division multiplexing (OFDM) systems. The main drawbac...
164
click to vote
AI
2009
Springer
15 years 11 months ago
2009
Springer
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...