Sciweavers

29172 search results - page 5537 / 5835
» Modeling Systems in CLP
Sort
View
ICWN
2009
15 years 4 months ago
AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Sur...
IEEECSA
2009
15 years 4 months ago
A Hierarchical Approach to Landmarks Detection in Taekwondo Poomsae Videos
Taekwondo Poomsae performance is a series of basic movements for offense and defense techniques. Despite the high popularity and long history of Taekwondo, there has been less effo...
Munther Abualkibash, James Gedney, Yongbom Kim, Je...
IEEEIA
2009
15 years 4 months ago
How Emotional Mechanism Helps Episodic Learning in a Cognitive Agent
In this paper we propose the CTS (Concious Tutoring System) technology, a biologically plausible cognitive agent based on human brain functions.This agent is capable of learning a...
Usef Faghihi, Philippe Fournier-Viger, Roger Nkamb...
DMTCS
2010
146views Mathematics» more  DMTCS 2010»
15 years 4 months ago
Tight Bounds for Delay-Sensitive Aggregation
This paper studies the fundamental trade-off between communication cost and delay cost arising in various contexts such as control message aggregation or organization theory. An o...
Yvonne Anne Pignolet, Stefan Schmid, Roger Wattenh...
FCSC
2010
170views more  FCSC 2010»
15 years 4 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
« Prev « First page 5537 / 5835 Last » Next »