Sciweavers

1675 search results - page 263 / 335
» Interactive streaming of structured data
Sort
View
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
15 years 4 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
HICSS
2010
IEEE
228views Biometrics» more  HICSS 2010»
15 years 4 months ago
How to Establish an Online Innovation Community? the Role of Users and Their Innovative Content
We studied the evolution of an online innovation community and users’ interaction behavior through social network analysis to explore how to build an innovation community and ge...
Julia Hautz, Katja Hutter, Johann Füller, Kur...
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 4 months ago
A high-level debug environment for communication-centric debug
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
Kees Goossens, Bart Vermeulen, Ashkan Beyranvand N...
WIA
2009
Springer
15 years 4 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
SAMT
2009
Springer
180views Multimedia» more  SAMT 2009»
15 years 4 months ago
RelFinder: Revealing Relationships in RDF Knowledge Bases
Abstract. The Semantic Web has recently seen a rise of large knowledge bases (such as DBpedia) that are freely accessible via SPARQL endpoints. The structured representation of the...
Philipp Heim, Sebastian Hellmann, Jens Lehmann, St...