6047 search results - page 48 / 1210 » Modeling with Extend |
175
click to vote
ACSD
2006
IEEE
16 years 16 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
171
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
165
click to vote
PG
2007
IEEE
16 years 22 days ago
2007
IEEE
We complete and bring together two pairs of surface constructions that use polynomial pieces of degree (3,3) to associate a smooth surface with a mesh. The two pairs complement ea...
167
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...