Sciweavers

1860 search results - page 169 / 372
» tools 2009
Sort
View
WDAG
2009
Springer
77views Algorithms» more  WDAG 2009»
16 years 21 days ago
Nonblocking Algorithms and Backward Simulation
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
Simon Doherty, Mark Moir
WOLLIC
2009
Springer
16 years 21 days ago
Query Answering in Description Logics: The Knots Approach
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Manta...
WOLLIC
2009
Springer
16 years 21 days ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves
WSOM
2009
Springer
16 years 21 days ago
Analyzing Domestic Violence with Topographic Maps: A Comparative Study
Topographic maps are an appealing exploratory instrument for discovering new knowledge from databases. During the recent years, several variations on the Self Organizing Maps (SOM)...
Jonas Poelmans, Paul Elzinga, Stijn Viaene, Guido ...
XPU
2009
Springer
16 years 21 days ago
Using Digital Tabletops to Support Distributed Agile Planning Meetings
Digital tabletop is an emerging technology that is being increasingly used to support group activities. Agile Planner for Digital Tabletops (APDT) is a tool that was built to suppo...
Xin Wang, Yaser Ghanam, Shelly Park, Frank Maurer