2041 search results - page 149 / 409 » Modelling Generic Judgements |
130
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
138
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
141
Voted
LREC
2010
15 years 6 months ago
2010
A research has been carried on and is still in progress aimed at the construction of three specialized lexicons organized as databases of relational type. The three databases cont...
124
click to vote
STTT
2008
15 years 4 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
157
click to vote
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
In this work, we focus on managing scientific environmental data, which are measurement readings collected from wireless sensors. In environmental science applications, raw sensor...