2702 search results - page 332 / 541 » Practically Applicable Formal Methods |
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
93
Voted
KDD
1994
ACM
15 years 6 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
110
Voted
AAAI
2000
15 years 3 months ago
2000
With the growth of on-line information, the need for better resource location services is growing rapidly. A popular goal is to conduct search in terms of concepts, rather than wo...
124
Voted
WS
2010
ACM
15 years 28 days ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...
168
Voted
FPL
2010
Springer
15 years 17 days ago
2010
Springer
We demonstrate how Field Programmable Gate Arrays (FPGAs) may be used to address the computing challenges associated with assembling genome sequences from recent ultra-high-through...