2314 search results - page 201 / 463 » Monoids over domains |
210
click to vote
PERSUASIVE
2007
Springer
16 years 24 days ago
2007
Springer
The success of many online services today depends on the company’s ability to persuade users to take specific actions, such as registering or inviting friends. We examined over 5...
173
click to vote
SGAI
2007
Springer
16 years 24 days ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
172
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
189
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
190
click to vote
GLOBECOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Spatially multiplexed multi-carrier code division multiplexing (SM-MC-CDM) communications with turbo coding is considered over correlated and uncorrelated multiple input multip...