5243 search results - page 353 / 1049 » Reasoning About Strategies |
156
click to vote
SIAMFM
2011
14 years 9 months ago
2011
We consider model-free pricing of digital options, which pay out if the underlying asset has crossed both upper and lower barriers. We make only weak assumptions about the underly...
185
Voted
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
FROST (Fold Recognition-Oriented Search Tool) [6] is a software whose purpose is to assign a 3D structure to a protein sequence. It is based on a series of filters and uses a dat...
200
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
During sales conversations, gestures and mimics are of high importance to communicate information about a product. One prominent example for such sales gestures is the meat and ch...
188
click to vote
LOPSTR
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
158
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...