1205 search results - page 23 / 241 » Program Extraction from Large Proof Developments |
INFOCOM
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract— Understanding user mobility is critical for simulations of mobile devices in a wireless network, but current mobility models often do not reflect real user movements. ...
CODES
2006
IEEE
14 years 5 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
CVPR
1999
IEEE
15 years 28 days ago
1999
IEEE
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...
NAACL
2003
14 years 9 days ago
2003
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
APPINF
2003
14 years 9 days ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...