57 search results - page 11 / 12 » Initial Algebra Semantics Is Enough! |
CIVR
2004
Springer
13 years 9 months ago
2004
Springer
Earlier this year, a major effort was initiated to study the theoretical and empirical aspects of the automatic detection of semantic concepts in broadcast video, complementing ong...
ICFP
2005
ACM
14 years 6 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
JUCS
2008
13 years 6 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
IEEESCC
2009
IEEE
14 years 20 days ago
2009
IEEE
Finding relevant files in a personal file system continues to be a challenge. It is still easier to find stuff on the Web with its exponential growth than in one’s personal ...
SEMWEB
2009
Springer
14 years 16 days ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...