4341 search results - page 704 / 869 » Quantitative Model checking |
164
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
155
click to vote
ALIFE
2007
15 years 6 months ago
2007
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...
190
click to vote
AR
2007
15 years 6 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
135
click to vote
AR
2007
15 years 6 months ago
2007
Neurodevelopmental Engineering is a new interdisciplinary research area at the intersection of developmental neuroscience and bioengineering, mainly concerned with quantitative an...
153
click to vote
BC
2008
15 years 6 months ago
2008
The voltage recorded over the cortex (ECoG) or over the scalp (EEG) is generated by currents derived from many sources called "generators". Different patterns and amplit...