Sciweavers

1941 search results - page 83 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
ECCV
2004
Springer
16 years 6 months ago
Extraction of Semantic Dynamic Content from Videos with Probabilistic Motion Models
Abstract. The exploitation of video data requires to extract information at a rather semantic level, and then, methods able to infer "concepts" from low-level video featu...
Gwenaëlle Piriou, Jian-Feng Yao, Patrick Bout...
CONCUR
2001
Springer
15 years 9 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
GECCO
2004
Springer
113views Optimization» more  GECCO 2004»
15 years 9 months ago
Implications of Epigenetic Learning Via Modification of Histones on Performance of Genetic Programming
Extending the notion of inheritable genotype in genetic programming (GP) from the common model of DNA into chromatin (DNA and histones), we propose an approach of embedding in GP a...
Ivan Tanev, Kikuo Yuta
AO
2005
147views more  AO 2005»
15 years 4 months ago
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
Massimo Poesio
LICS
2002
IEEE
15 years 9 months ago
A Syntactic Approach to Foundational Proof-Carrying Code
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, S...