8828 search results - page 1700 / 1766 » Formal methods in practice |
ICAIL
2009
ACM
15 years 4 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
MM
2009
ACM
15 years 4 months ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
SIGECOM
2009
ACM
15 years 4 months ago
2009
ACM
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— The growth of video content and diversification of content-sharing methods in the Internet lead to an exciting range of new problems in networking, communications, and...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...