Sciweavers

950 search results - page 35 / 190
» Machine semantics
Sort
View
154
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 4 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
CIDM
2007
IEEE
15 years 8 months ago
Identifying Anatomical Phrases in Clinical Reports by Shallow Semantic Parsing Methods
Natural Language Processing (NLP) is being applied for several information extraction tasks in the biomedical domain. The unique nature of clinical information requires the need fo...
Vijayaraghavan Bashyam, Ricky K. Taira
ASM
2004
ASM
15 years 9 months ago
An ASM Semantics for SSA Intermediate Representations
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
Sabine Glesner
ICCV
2009
IEEE
16 years 9 months ago
Using machine learning to predict where people look
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable o...
Tilke Judd, Krista Ehinger, Fr´edo Durand, Antoni...
134
Voted
TCSV
2008
189views more  TCSV 2008»
15 years 4 months ago
Machine Recognition of Human Activities: A Survey
The past decade has witnessed a rapid proliferation of video cameras in all walks of life and has resulted in a tremendous explosion of video content. Several applications such as ...
Pavan K. Turaga, Rama Chellappa, V. S. Subrahmania...