6047 search results - page 334 / 1210 » Modeling with Extend |
141
click to vote
NAACL
2010
15 years 2 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
262
click to vote
ASUNAM
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—In this paper we introduce a new model to represent an interconnected network of networks. This model is fundamental to reason about the real organization of on-line soc...
140
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
124
click to vote
CIKM
2000
Springer
15 years 9 months ago
2000
Springer
An e ective bu er management system is crucial for any database management system. While much work has been expended to provide extensible data types,extensible query languages an...
103
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Conventional models of multirobot control assume independent robots and tasks. This allows an additive model in which the operator controls robots sequentially neglecting each u...