12774 search results - page 2299 / 2555 » A Framework for Proof Systems |
184
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Current data warehouse and OLAP technologies can be applied to analyze the structured data that companies store in their databases. The circumstances that describe the context ass...
160
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
As virtual worlds and games grow in both personal and cultural importance, present limitations in access to them is increasingly limiting their ability to achieve their potential....
170
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes an application of statistical co-occurrence techniques that built on top of a probabilistic image annotation framework is able to increase the precision of an ...
185
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
147
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
This paper describes an ethnographic study conducted to explore the possibilities for future design and development of technological support for trauma teams. We videotaped 10 tra...