7920 search results - page 200 / 1584 » The Swarm Application Framework |
177
click to vote
PAKM
2004
15 years 8 months ago
2004
This paper presents an approach to locating an expert through the use of existing organizational information. This approach was realised through an Expert Finder framework develope...
149
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
EducaNext is an educational mediator created within the UNIVERSAL IST Project which supports both, the exchange of reusable educational materials based on open standards, as well ...
159
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
— We present a new approach to cope with unknown redundant systems. For this we present i) an online algorithm that learns general input-output restrictions and, ii) a method tha...
162
click to vote
TABLEAUX
2005
Springer
16 years 1 days ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
176
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...