Sciweavers

3387 search results - page 273 / 678
» Automating the Metamodeling Process
Sort
View
IFM
2007
Springer
101views Formal Methods» more  IFM 2007»
16 years 24 days ago
Translating FSP into LOTOS and Networks of Automata
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
Gwen Salaün, Jeff Kramer, Frédé...
IHI
2010
109views Healthcare» more  IHI 2010»
15 years 1 months ago
Process-based derivation of requirements for medical devices
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
Heather M. Conboy, George S. Avrunin, Lori A. Clar...
AAAI
2012
13 years 9 months ago
Strategic Advice Provision in Repeated Human-Agent Interactions
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claud...
ICIP
2001
IEEE
16 years 8 months ago
Generation of semantic cues for sports video annotation
The use of video and audio features for automated annotation of audio-visual data is becoming widespread. A major limitation of many of the current methods is that the stored inde...
Kieron Messer, Josef Kittler, Barbara Levienaise-O...
ICIP
1999
IEEE
16 years 8 months ago
Road and Lane Edge Detection with Multisensor Fusion Methods
This paper treats automated detection of road and lane boundaries by fusing information from forwardlooking optical and active W-band radar imaging sensors mounted on a motor vehi...
Bing Ma, Sridhar Lakshmanan, Alfred O. Hero III