Sciweavers

9018 search results - page 5 / 1804

» 3D-Brain Model Software

14

ICSE
2009
IEEE-ACM

88views Software Engineering» more ICSE 2009»

A formal model for self-adaptive and self-healing organizations

13 years 7 months ago

A formal model for self-adaptive and self-healing organizations

Download lirias.kuleuven.be

Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...

claim paper

Read More »

32

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 7 months ago

Model Checking Hierarchical Probabilistic Systems

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

33

PAMI
2012

202views Software Engineering» more PAMI 2012»

Discriminative Latent Models for Recognizing Contextual Group Activities

12 years 8 days ago

Discriminative Latent Models for Recognizing Contextual Group Activities

Download www.sfu.ca

Tian Lan, Yang Wang, Weilong Yang, Stephen N. Robi...

claim paper

Read More »

37

PAMI
2012

279views Software Engineering» more PAMI 2012»

Layered Object Models for Image Segmentation

12 years 8 days ago

Layered Object Models for Image Segmentation

Download www.ics.uci.edu

Yi Yang, Sam Hallman, Deva Ramanan, Charless C. Fo...

claim paper

Read More »

36

RWEB
2010
Springer

280views Automated Reasoning» more RWEB 2010»

Model Driven Engineering with Ontology Technologies

13 years 7 months ago

Model Driven Engineering with Ontology Technologies

Download www.uni-koblenz.de

Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...

Steffen Staab, Tobias Walter, Gerd Gröner, Fe...

claim paper

Read More »

« Prev « First page 5 / 1804 Last » Next »