2702 search results - page 332 / 541 » Practically Applicable Formal Methods |
145
click to vote
ATAL
2005
Springer
15 years 12 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....
143
click to vote
KDD
1994
ACM
15 years 10 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...
158
click to vote
AAAI
2000
15 years 7 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...
175
click to vote
WS
2010
ACM
15 years 4 months 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...
223
click to vote
FPL
2010
Springer
15 years 4 months 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...