Search Sciweavers | Sciweavers

14382 search results - page 161 / 2877

» Time in Connectionist Models

click to vote

AAAI
2008

101views Intelligent Agents» more AAAI 2008»

Transferring Localization Models over Time

15 years 8 months ago

Download www.cs.ust.hk

Vincent Wenchen Zheng, Evan Wei Xiang, Qiang Yang,...

claim paper

Read More »

156

click to vote

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

15 years 8 months ago

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

142

click to vote

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

15 years 8 months ago

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

148

click to vote

GIS
2007
ACM

130views Automated Reasoning» more GIS 2007»

Near-real time motion analysis for APLIS 2007: a systems modeling perspective

15 years 8 months ago

Download vims.cis.udel.edu

Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...

claim paper

Read More »

135

click to vote

EURONGI
2008
Springer

119views Computer Networks» more EURONGI 2008»

Diffusion Approximation Model for the Distribution of Packet Travel Time at Sensor Networks

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers