535 search results - page 48 / 107 » Do we need dependent types |
CGF
2010
13 years 6 months ago
2010
Recent advances in GPU programmability and architecture have allowed for the generation of ray casted or ray traced images at interactive rates. How quickly these images can be ge...
CIKM
2009
Springer
13 years 5 months ago
2009
Springer
Traditional models of information retrieval assume documents are independently relevant. But when the goal is retrieving diverse or novel information about a topic, retrieval mode...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Architectural design decisions are commonly agreed as one of the main elements that constitute architectural knowledge. To avoid knowledge vaporization, architectural decisions an...
PERCOM
2003
ACM
14 years 1 months ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...
ML
2007
ACM
13 years 7 months ago
2007
ACM
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...