Sciweavers

2783 search results - page 205 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
EVOW
2010
Springer
15 years 8 months ago
Learning to Dance through Interactive Evolution
A relatively rare application of artificial intelligence at the nexus of art and music is dance. The impulse shared by all humans to express ourselves through dance represents a u...
Greg A. Dubbin, Kenneth O. Stanley
ICML
2009
IEEE
15 years 8 months ago
A novel lexicalized HMM-based learning framework for web opinion mining
Merchants selling products on the Web often ask their customers to share their opinions and hands-on experiences on products they have purchased. As e-commerce is becoming more an...
Wei Jin, Hung Hay Ho
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 8 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
97
Voted
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 8 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
AIMSA
2008
Springer
15 years 8 months ago
Dealing with Spoken Requests in a Multimodal Question Answering System
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
Roberto Gretter, Milen Kouylekov, Matteo Negri