3717 search results - page 370 / 744 » Representing Multiple Theories |
185
click to vote
COMPSAC
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
197
click to vote
CSB
2003
IEEE
16 years 27 days ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
232
click to vote
IPPS
2003
IEEE
16 years 27 days ago
2003
IEEE
The efficient solution of large systems of linear equations represented by sparse matrices appears in many tasks. LU factorization followed by backward and forward substitutions i...
210
click to vote
KBSE
2003
IEEE
16 years 26 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
182
click to vote
FSR
2003
Springer
16 years 25 days ago
2003
Springer
— This paper addresses the problem of simultaneous localization and mapping (SLAM) for teams of collaborating vehicles where the communication bandwidth is limited. We present a ...