Sciweavers

1585 search results - page 277 / 317
» Creating a Knowledge Base of Biological Research Papers
Sort
View
ATAL
2010
Springer
15 years 27 days ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
CEC
2010
IEEE
15 years 27 days ago
On convergence of multi-objective Particle Swarm Optimizers
Several variants of the Particle Swarm Optimization (PSO) algorithm have been proposed in recent past to tackle the multi-objective optimization problems based on the concept of Pa...
Prithwish Chakraborty, Swagatam Das, Ajith Abraham...
HICSS
2010
IEEE
147views Biometrics» more  HICSS 2010»
15 years 27 days ago
Understanding the Adoption of Electronic Banking in China
Electronic banking (e-banking), facilitated by various Electronic Commerce (EC) technologies, has helped commercial banks to stay competitive through productivity gains, transacti...
Sherah Kurnia, Fei Peng, Yi Ruo Liu
JNW
2008
144views more  JNW 2008»
14 years 11 months ago
Low-Latency Geographic Routing for Asynchronous Energy-Harvesting WSNs
Research on data routing strategies for wireless sensor networks (WSNs) has largely focused on energy efficiency. However rapid advances in WSNs require routing protocols which can...
Donggeon Noh, Ikjune Yoon, Heonshik Shin
IDA
2007
Springer
14 years 11 months ago
Inference of node replacement graph grammars
Graph grammars combine the relational aspect of graphs with the iterative and recursive aspects of string grammars, and thus represent an important next step in our ability to dis...
Jacek P. Kukluk, Lawrence B. Holder, Diane J. Cook