Sciweavers

4360 search results - page 495 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
EEE
2005
IEEE
16 years 15 days ago
Who Counts Your Votes?
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
Halina Kaminski, Lila Kari, Mark Perry
AAAI
2010
15 years 8 months ago
Progress on Agent Coordination with Cooperative Auctions
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
Sven Koenig, Pinar Keskinocak, Craig A. Tovey
BMCBI
2007
179views more  BMCBI 2007»
15 years 7 months ago
Automated smoother for the numerical decoupling of dynamics models
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
Marco Vilela, Carlos Cristiano H. Borges, Susana V...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 26 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
LREC
2008
125views Education» more  LREC 2008»
15 years 8 months ago
Similar Term Discovery using Web Search
We present an approach to the discovery of semantically similar terms that utilizes a web search engine as both a source for generating related terms and a tool for estimating the...
Peter G. Anick, Vijay Murthi, Shaji Sebastian