Sciweavers

192 search results - page 30 / 39
» Hierarchical Phrase-Based Translation
Sort
View
HPCN
1999
Springer
13 years 12 months ago
XSIL: Extensible Scientific Interchange Language
We motivate and define the XSIL language as a flexible, hierarchical, extensible transport language for scientific data objects. The entire object may be represented in the file, o...
Kent Blackburn, Albert Lazzarini, Thomas A. Prince...
ECCV
2010
Springer
13 years 11 months ago
Discovering Multipart Appearance Models from Captioned Images
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
IJCAI
2001
13 years 9 months ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta
CORR
2008
Springer
126views Education» more  CORR 2008»
13 years 7 months ago
A TLA+ Proof System
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...
IJCAT
2006
88views more  IJCAT 2006»
13 years 7 months ago
Interaction design patterns for computers in sociable use
: This article contributes to a growing body of design patterns in interaction design for cooperative work, while also describing how to go from field studies to design patterns. I...
Mattias Arvola