Sciweavers

301 search results - page 35 / 61
» Topic models with power-law using Pitman-Yor process
Sort
View
160
Voted
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
16 years 13 days ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
ICDIM
2007
IEEE
16 years 5 days ago
Exploiting multi-evidence from multiple user's interests to personalizing information retrieval
The goal of personalization in information retrieval is to tailor the search engine results to the specific goals, preferences and general interests of the users. We propose a no...
Lynda Tamine-Lechani, Mohand Boughanem, Nesrine Ze...
ECIS
2004
15 years 7 months ago
The implementation and use of conceptual standards - the case of the rds-tmc service
The topic of the paper concerns the implementation and use of standards. The standards which are in focus in the paper include conceptual models and descriptions of the functionali...
Owen Eriksson, Anders Forsman
CF
2009
ACM
15 years 10 months ago
Data parallel acceleration of decision support queries using Cell/BE and GPUs
Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that processes large data sets. Traditionally, DSS queries have been acce...
Pedro Trancoso, Despo Othonos, Artemakis Artemiou
CVIU
2004
246views more  CVIU 2004»
15 years 5 months ago
3-D reconstruction of static human body shape from image sequence
The generation of 3-D models from uncalibrated image sequences is a challenging problem that has been investigated in many research activities in the last decade. In particular, a...
Fabio Remondino