173 search results - page 17 / 35 » Ott: effective tool support for the working semanticist |
ERCIM
2008
13 years 6 months ago
2008
Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
EUROSYS
2011
ACM
12 years 10 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
HICSS
2003
IEEE
14 years 1 days ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
CHI
2009
ACM
14 years 7 months ago
2009
ACM
Collaborative web browsing tasks occur frequently, such as one user showing another how to use a web site, several users working together on a search task, or even one user sendin...
WCRE
2005
IEEE
14 years 9 days ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...