Sciweavers

2152 search results - page 242 / 431
» A Framework for Modeling DNA Based Molecular Systems
Sort
View
ISLPED
2010
ACM
184views Hardware» more  ISLPED 2010»
15 years 6 months ago
Hybrid energy storage system integration for vehicles
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...
Jia Wang, Kun Li, Qin Lv, Hai Zhou, Li Shang
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
IDEAS
2009
IEEE
232views Database» more  IDEAS 2009»
16 years 1 months ago
RDFKB: efficient support for RDF inference queries and knowledge management
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
James P. McGlothlin, Latifur R. Khan
ER
2009
Springer
152views Database» more  ER 2009»
15 years 4 months ago
Towards a Theory of Conceptual Modelling
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
Bernhard Thalheim
GBRPR
2007
Springer
16 years 21 days ago
Grouping Using Factor Graphs: An Approach for Finding Text with a Camera Phone
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
Huiying Shen, James Coughlan