1768 search results - page 150 / 354 » A Logic for Algebraic Effects |
196
Voted
TCS
2002
15 years 6 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
190
Voted
JUCS
2010
15 years 5 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
194
click to vote
DLOG
2009
15 years 4 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
190
click to vote
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
185
Voted
MMM
2008
Springer
16 years 1 months ago
2008
Springer
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...