Search Sciweavers | Sciweavers

31387 search results - page 130 / 6278

» Abstracts

131

click to vote

IJCNN
2007
IEEE

114views Neural Networks» more IJCNN 2007»

Automated Abstraction of Dynamic Neural Systems for Natural Language Processing

16 years 1 months ago

Download www.cognitivesystems.org

Henrik Jacobsson, Stefan L. Frank, Diego Federici

claim paper

Read More »

123

click to vote

IROS
2007
IEEE

101views Robotics» more IROS 2007»

Automatic robot programming from learned abstract task knowledge

16 years 1 months ago

Download wwwiaim.ira.uka.de

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

claim paper

Read More »

151

click to vote

IV
2007
IEEE

123views Visualization» more IV 2007»

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

16 years 1 months ago

Download linqs.cs.umd.edu

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

claim paper

Read More »

104

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

16 years 1 months ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

154

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers