Sciweavers

1515 search results - page 170 / 303
» On the relation of aspects and monads
Sort
View
NAR
2011
236views Computer Vision» more  NAR 2011»
14 years 9 months ago
The catfish genome database cBARBEL: an informatic platform for genome biology of ictalurid catfish
The catfish genome database, cBARBEL (abbreviated from catfish Breeder And Researcher Bioinformatics Entry Location) is an online open-access database for genome biology of ictalu...
Jianguo Lu, Eric Peatman, Qing Yang, Shaolin Wang,...
ACMACE
2011
ACM
14 years 6 months ago
Mobile 3D graphics and virtual reality interaction
Mobile devices such as smartphones and tablets offer great new possibilities for the creation of 3D games and virtual reality environments. However, interaction with objects in th...
Wolfgang Hürst, Matthias Helder
ATVA
2011
Springer
254views Hardware» more  ATVA 2011»
14 years 6 months ago
Formal Analysis of Online Algorithms
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
Benjamin Aminof, Orna Kupferman, Robby Lampert
GIS
2008
ACM
16 years 7 months ago
Qualitative geocoding of persistent web pages
Information and specifically Web pages may be organized, indexed, searched, and navigated using various metadata aspects, such as keywords, categories (themes), and also space. Wh...
Albert Angel, Chara Lontou, Dieter Pfoser, Alexand...
ISPASS
2008
IEEE
16 years 25 days ago
An Analysis of I/O And Syscalls In Critical Sections And Their Implications For Transactional Memory
Transactional memory (TM) is a scalable and concurrent way to build atomic sections. One aspect of TM that remains unclear is how side-effecting operations – that is, those whic...
Lee Baugh, Craig B. Zilles