1032 search results - page 144 / 207 » A Category of Explicit Fusions |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
COGSR
2011
13 years 3 months ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Most product search engines today build on models of relevance devised for information retrieval. However, the decision mechanism that underlies the process of buying a product is...
JUCS
2010
13 years 2 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
MAGS
2010
13 years 2 months ago
2010
Designing efficient bidding strategies for sequential auctions remains an important, open problem area in agent-mediated electronic markets. In existing literature, a variety of bi...