1604 search results - page 174 / 321 » Development Separation in Lambda-Calculus |
WSC
1998
14 years 3 days ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
WSC
1998
14 years 3 days ago
1998
The Marine Corps has instituted a new Mission Area Analysis (MAA) process to identify operational requirements and deficiencies. In the past, the MAA process was subjective and so...
BMCBI
2007
13 years 11 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
ICSE
2011
IEEE-ACM
13 years 2 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
CVPR
2005
IEEE
15 years 24 days ago
2005
IEEE
In the last decades, a large family of algorithms supervised or unsupervised; stemming from statistic or geometry theory have been proposed to provide different solutions to the p...