Search Sciweavers | Sciweavers

31387 search results - page 130 / 6278

» Abstracts

128

click to vote

IJCNN
2007
IEEE

114views Neural Networks» more IJCNN 2007»

Automated Abstraction of Dynamic Neural Systems for Natural Language Processing

16 years 22 days ago

Download www.cognitivesystems.org

Henrik Jacobsson, Stefan L. Frank, Diego Federici

claim paper

Read More »

121

click to vote

IROS
2007
IEEE

101views Robotics» more IROS 2007»

Automatic robot programming from learned abstract task knowledge

16 years 21 days ago

Download wwwiaim.ira.uka.de

Steffen Knoop, Michael Pardowitz, Rüdiger Dil...

claim paper

Read More »

144

click to vote

IV
2007
IEEE

123views Visualization» more IV 2007»

Visual Mining of Multi-Modal Social Networks at Different Abstraction Levels

16 years 21 days ago

Download linqs.cs.umd.edu

Lisa Singh, Mitchell Beard, Lise Getoor, M. Brian ...

claim paper

Read More »

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

16 years 21 days ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

145

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers