505 search results - page 60 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
JASIS
2010
14 years 6 months ago
2010
People taking part in argumentativedebates through collective annotationsface a highly cognitive task when trying to estimate the group's global opinion. In order to reduce t...
LCPC
1999
Springer
15 years 4 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
CMSB
2010
Springer
14 years 6 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
PAMI
2002
14 years 11 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
108
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
A negotiation chain is formed when multiple related negotiations are spread over multiple agents. In order to appropriately order and structure the negotiations occurring in the c...