4107 search results - page 765 / 822 » The Generalized Lambda Test |
125
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...
110
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
119
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...
CCS
2008
ACM
15 years 3 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
119
click to vote
MSR
2010
ACM
15 years 3 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...