1146 search results - page 228 / 230 » Formal Specification Generation from Requirement Documents |
111
click to vote
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Customized marketing, so called 1-to-1 marketing, is often viewed as the panacea of e-commerce. User profiles, such as click streams logging every site the user accesses, are expl...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We address the problem of navigating from an initial node to a goal node by a group of agents in an unknown physical environment. In such environments mobile agents must physicall...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes a new smart crossover operator for a Pittsburgh Learning Classifier System. This operator, unlike other recent LCS approaches of smart recombination, does not ...
USENIX
2000
14 years 11 months ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
BMCBI
2010
14 years 9 months ago
2010
Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...