326 search results - page 2 / 66 » Capabilities for Uniqueness and Borrowing |
EUMAS
2006
13 years 6 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
ISSAC
2001
Springer
13 years 9 months ago
2001
Springer
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
WSC
1998
13 years 6 months ago
1998
The United States Marine Corps has a unique role in development of the next-generation warfare gaming system for command staff training. This system, titled the Joint Simulation S...
VLDB
2000
ACM
13 years 8 months ago
2000
ACM
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...
ENTCS
2007
13 years 4 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...