Sciweavers

517 search results - page 74 / 104
» Translation in XBRL standardization
Sort
View
BIRTHDAY
2010
Springer
14 years 2 months ago
Extended Compact Web Graph Representations
Abstract. Many relevant Web mining tasks translate into classical algorithms on the Web graph. Compact Web graph representations allow running these tasks on larger graphs within m...
Francisco Claude, Gonzalo Navarro
GLOBECOM
2009
IEEE
14 years 2 months ago
ANTS - A Framework for Knowledge Based NAT Traversal
—Today most home networks are connected to the Internet via Network Address Translation (NAT) devices. NAT is an obstacle for services that should be accessible from the public I...
Andreas Müller, Andreas Klenk, Georg Carle
KBSE
2009
IEEE
14 years 2 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
ICRA
2009
IEEE
150views Robotics» more  ICRA 2009»
14 years 2 months ago
Flow separation for fast and robust stereo odometry
— Separating sparse flow provides fast and robust stereo visual odometry that deals with nearly degenerate situations that often arise in practical applications. We make use of ...
Michael Kaess, Kai Ni, Frank Dellaert
IEEEPACT
2009
IEEE
14 years 2 months ago
Interprocedural Load Elimination for Dynamic Optimization of Parallel Programs
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
Rajkishore Barik, Vivek Sarkar