Sciweavers

366 search results - page 59 / 74
» On Defining Computer Science Terminology
Sort
View
ENTCS
2002
108views more  ENTCS 2002»
13 years 8 months ago
Bisimulation Relations for Dynamical and Control Systems
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
KBS
2002
88views more  KBS 2002»
13 years 8 months ago
Mining the optimal class association rule set
We define an optimal class association rule set to be the minimum rule set with the same predictive power of the complete class association rule set. Using this rule set instead o...
Jiuyong Li, Hong Shen, Rodney W. Topor
ECWEB
2010
Springer
179views ECommerce» more  ECWEB 2010»
13 years 6 months ago
Concession Behaviour in Automated Negotiation
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...
Fernando Lopes, Helder Coelho
FCSC
2010
170views more  FCSC 2010»
13 years 6 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
NAR
2011
226views Computer Vision» more  NAR 2011»
12 years 11 months ago
The International Nucleotide Sequence Database Collaboration
Under the International Nucleotide Sequence Database Collaboration (INSDC; http://www.insdc. org), globally comprehensive public domain nucleotide sequence is captured, preserved ...
Guy Cochrane, Ilene Karsch-Mizrachi, Yasukazu Naka...