Sciweavers

2602 search results - page 231 / 521
» Semantic Analysis of 'to'
Sort
View
FDL
2007
IEEE
16 years 29 days ago
Modeling of immediate vs. delayed data communications: from AADL to UML Marte
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
Frédéric Mallet, Charles André...
PODC
1996
ACM
15 years 10 months ago
Fundamental Challenges in Mobile Computing
This paper is an answer to the question: "What is unique and conceptually different about mobile computing?" The paper begins by describing a set of constraints intrinsi...
Mahadev Satyanarayanan
AIML
2004
15 years 8 months ago
Utilitarian Deontic Logic
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...
Yuko Murakami
VVG
2003
140views Computer Vision» more  VVG 2003»
15 years 8 months ago
Semi-Automated Logging for Professional Media Applications
We report a novel method for logging and annotating video footage specifically for professional post-production and archivist end users. SALSA – Semi-Automated Logging with Sema...
J. W. Mateer, J. A. Robinson
IJFCS
2008
108views more  IJFCS 2008»
15 years 6 months ago
Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting
We present GLinClosure, a graded extension of the well-known LinClosure algorithm. GLinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute i...
Radim Belohlávek, Vilém Vychodil