Sciweavers

6047 search results - page 82 / 1210
» Modeling with Extend
Sort
View
146
Voted
ESWS
2010
Springer
15 years 7 days ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
TREC
2003
15 years 3 months ago
TREC12 HARD Track at ISCAS
Statistical model in retrieval has been shown to perform well empirically. Extended Boolean model has been widely used in business system for its easiness to be complemented and n...
Zeng Wu, Lin Du, Le Sun, Shiwei Ye
CCS
2008
ACM
15 years 3 months ago
EON: modeling and analyzing dynamic access control systems with logic programs
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...
CMPB
2008
76views more  CMPB 2008»
15 years 1 months ago
Model-based identification of PEEP titrations during different volemic levels
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
Christina Starfinger, J. Geoffrey Chase, Christoph...
CAV
1990
Springer
114views Hardware» more  CAV 1990»
15 years 5 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger