Sciweavers

621 search results - page 18 / 125
» Global partial orders from sequential data
Sort
View
76
Voted
FQAS
1998
Springer
118views Database» more  FQAS 1998»
15 years 1 months ago
Partial Answers for Unavailable Data Sources
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...
Philippe Bonnet, Anthony Tomasic
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
14 years 4 months ago
Modeling and evaluation of decision-making dynamics in sequential two-alternative forced choice tasks
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...
Caleb Woodruff, Kristi A. Morgansen, Linh Vu, Damo...
BMCBI
2004
158views more  BMCBI 2004»
14 years 9 months ago
Improvement of alignment accuracy utilizing sequentially conserved motifs
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...
Saikat Chakrabarti, Nitin Bhardwaj, Prem A. Anand,...
CAV
2004
Springer
130views Hardware» more  CAV 2004»
15 years 1 months ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi
81
Voted
ETFA
2008
IEEE
15 years 4 months ago
e-based inter-enterprise supply chain Kanban for demand and order fulfilment management
– The philosophy of Kanban is that parts and materials should be supplied at the very moment they are needed in the factory manufacturing process. e-based inter-enterprise supply...
Linton L. S. Chai