1536 search results - page 121 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
BMCBI
2007
14 years 10 months ago
2007
nd: A key abstraction in representing proteomics knowledge is the notion of unique identifiers for individual entities (e.g. proteins) and the massive graph of relationships among...
AAAI
2000
14 years 11 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
HICSS
2012
IEEE
13 years 5 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
115
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Due to the capacity of pan-tilt-zoom (PTZ) cameras to
simultaneously cover a panoramic area and maintain high
resolution imagery, researches in automated surveillance
systems wi...