Sciweavers

2093 search results - page 273 / 419
» Developing Federation Object Models Using Ontologies
Sort
View
SCAI
2008
13 years 10 months ago
Towards Automatic Model Generation by Optimization
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
Per Nyblom, Patrick Doherty
COMPSAC
2003
IEEE
14 years 2 months ago
A Role-Based Metamodeling Approach to Specifying Design Patterns
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...
CONTEXT
2007
Springer
14 years 3 months ago
An Ostensive Browsing and Searching on the Web
Abstract. The ostensive model assumes that a user’s information need is dynamic and developing, thus, a recently accessed object can be seen as more indicative to the current inf...
Hideo Joho, Robert D. Birbeck, Joemon M. Jose
ECCV
2004
Springer
14 years 11 months ago
Towards Intelligent Mission Profiles of Micro Air Vehicles: Multiscale Viterbi Classification
In this paper, we present a vision system for object recognition in aerial images, which enables broader mission profiles for Micro Air Vehicles (MAVs). The most important factors ...
Sinisa Todorovic, Michael C. Nechyba
FM
2003
Springer
88views Formal Methods» more  FM 2003»
14 years 2 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin