7404 search results - page 1352 / 1481 » New Tools in Education |
162
click to vote
WSC
1998
15 years 7 months 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...
209
click to vote
AAAI
1994
15 years 7 months ago
1994
Many AI problems can be modeled as constraint satisfaction problems (CSP), but many of them are actually dynamic: the set of constraints to consider evolves because of the environ...
165
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
166
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
137
click to vote
ALMOB
2008
15 years 6 months ago
2008
Background: Sequence-based phylogeny reconstruction is a fundamental task in Bioinformatics. Practically all methods for phylogeny reconstruction are based on multiple alignments....