9110 search results - page 1439 / 1822 » Formally-Based Design Evaluation |
160
click to vote
IADIS
2008
15 years 8 months ago
2008
Recent years have seen a new generation of `digital students' emerging in the developed world. Digital students are young adults who have grown up with digital technologies i...
150
click to vote
IADIS
2008
15 years 8 months ago
2008
While researchers have been exploring automatic presentation capture since the 1990's, real world adoption has been limited. Our research focuses on simplifying presentation ...
172
click to vote
I3
2007
15 years 8 months ago
2007
An important aspect of Semantic Web technologies is the issue of identity and uniquely identifying resources, which is essential for integrating data across sources. Currently, th...
172
click to vote
ICWSM
2008
15 years 8 months ago
2008
Given the rise in popularity of social tagging systems, it seems only natural to ask how efficient is the organically evolved tagging vocabulary in describing underlying document ...
190
click to vote
IPCO
2008
15 years 8 months ago
2008
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...