Sciweavers

39 search results - page 6 / 8
» Generating Referring Expressions that Involve Gradable Prope...
Sort
View
CRV
2011
IEEE
352views Robotics» more  CRV 2011»
12 years 7 months ago
Conformative Filter: A Probabilistic Framework for Localization in Reduced Space
— Algorithmic problem reduction is a fundamental approach to problem solving in many fields, including robotics. To solve a problem using this scheme, we must reduce the problem...
Chatavut Viriyasuthee, Gregory Dudek
APLAS
2005
ACM
14 years 27 days ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ICFP
2003
ACM
14 years 7 months ago
FreshML: programming with binders made simple
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay
SIGMOD
2008
ACM
122views Database» more  SIGMOD 2008»
14 years 7 months ago
Building query optimizers for information extraction: the SQoUT project
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...
Alpa Jain, Panagiotis G. Ipeirotis, Luis Gravano
JEI
2010
120views more  JEI 2010»
13 years 5 months ago
Performance evaluation of mail-scanning cameras
Letter scanning cameras (LSCs) form the front end imaging systems for virtually all mail scanning systems that are currently used to automatically sort mail products. As with any ...
Umesh Rajashekar, Tony Tuan Vu, John E. Hooning, A...