18155 search results - page 3261 / 3631 » Point |
223
click to vote
WLP
2007
Springer
16 years 23 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
182
click to vote
WOLLIC
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
186
click to vote
XPU
2007
Springer
16 years 23 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
175
click to vote
BSN
2006
IEEE
16 years 22 days ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
165
click to vote
CODES
2006
IEEE
16 years 22 days ago
2006
IEEE
Real-time multi-media applications are increasingly being mapped onto MPSoC (multi-processor system-on-chip) platforms containing hardware-software IPs (intellectual property) alo...