Sciweavers

8928 search results - page 426 / 1786
» Modeling Current Events
Sort
View
183
Voted
ASM
2010
ASM
15 years 5 months ago
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
Néstor Cataño, Camilo Rueda
MT
1998
56views more  MT 1998»
15 years 4 months ago
Translation Differences and Pragmatics-Based MT
: This paper examines differences between two professional translations into English of the same Spanish newspaper article. Among other explanations for these differences, such as ...
Stephen Helmreich, David Farwell
129
Voted
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 3 months ago
Feedback control logic synthesis for non safe Petri nets
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
Abbas Dideban, Hassane Alla
GI
2009
Springer
15 years 2 months ago
Group Tracking in an Air Surveillance System
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
Wolfgang Konle
ICMCS
2009
IEEE
189views Multimedia» more  ICMCS 2009»
15 years 2 months ago
Efficient human action recognition by luminance field trajectory and geometry information
In recent years the video event understanding is an active research topic, with many applications in surveillance, security, and multimedia search and mining. In this paper we foc...
Haomian Zheng, Zhu Li, Yun Fu