Sciweavers

273 search results - page 28 / 55
» Modelling IS successions in e commerce
Sort
View
IJON
2007
78views more  IJON 2007»
13 years 7 months ago
A non-parametric electrode model for intracellular recording
We present a new way to model the response of an electrode to an injected current. The electrode is represented by an unknown complex linear circuit, characterized by a kernel whi...
Romain Brette, Zuzanna Piwkowska, Michelle Rudolph...
CANDC
2007
ACM
13 years 7 months ago
Chromosome segregation in Escherichia coli division: A free energy-driven string model
Although the mechanisms of eukaryotic chromosome segregation and cell division have been elucidated to a certain extent, those for bacteria remain largely unknown. Here we present...
Jianmiao Fan, Kagan Tuncay, Peter J. Ortoleva
ICPR
2004
IEEE
14 years 8 months ago
Eye Tracking Using Markov Models
We propose an eye detection and tracking method based on color and geometrical features of the human face using a monocular camera. In this method a decision is made on whether th...
A. M. Bagci, Ashfaq A. Khokhar, E. Cetin, Rashid A...
ACMICEC
2003
ACM
144views ECommerce» more  ACMICEC 2003»
14 years 28 days ago
Security model for a multi-agent marketplace
A multi-agent marketplace, MAGNET (Multi AGent Negotiation Testbed), is a promising solution to conduct online combinatorial auctions. The trust model of MAGNET is somewhat diffe...
Ashutosh Jaiswal, Yongdae Kim, Maria L. Gini
FMCAD
2009
Springer
14 years 2 months ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...