Sciweavers

4708 search results - page 793 / 942
» Generating the Structure of Argument
Sort
View
141
Voted
ER
2010
Springer
104views Database» more  ER 2010»
15 years 3 months ago
Provenance Management in BioSciences
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...
Sudha Ram, Jun Liu
140
Voted
ET
2010
98views more  ET 2010»
15 years 3 months ago
MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics
Abstract As technology scales down into the nanometer era, delay testing of modern chips has become more and more important. Tests for the path delay fault model are widely used to...
Stephan Eggersglüß, Görschwin Fey,...
GG
2010
Springer
15 years 3 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
ICPR
2010
IEEE
15 years 3 months ago
Unsupervised Learning from Linked Documents
Documents in many corpora, such as digital libraries and webpages, contain both content and link information. In a traditional topic model which plays an important role in the uns...
Zhen Guo, Shenghuo Zhu, Yun Chi, Zhongfei Zhang, Y...
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 3 months ago
Improved GPS sensor model for mobile robots in urban terrain
Abstract— Autonomous robot navigation in outdoor scenarios gains increasing importance in various growing application areas. Whereas in non-urban domains such as deserts the prob...
Daniel Maier, Alexander Kleiner