800 search results - page 54 / 160 » Towards a formalization of budgets |
174
click to vote
KRMED
2004
15 years 7 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
250
click to vote
IRCDL
2010
15 years 4 months ago
2010
Social Network Sites can be seen as very large information repositories containing millions of text messages usually organized into complex networks involving users interacting wit...
183
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
166
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
171
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...