Sciweavers

6794 search results - page 956 / 1359
» Semantics of Visual Languages
Sort
View
JAIR
2002
134views more  JAIR 2002»
15 years 6 months ago
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video
We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions fr...
Alan Fern, Robert Givan, Jeffrey Mark Siskind
SIGPLAN
2002
15 years 6 months ago
Trace analysis of Erlang programs
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
Thomas Arts, Lars-Åke Fredlund
ICDE
2006
IEEE
152views Database» more  ICDE 2006»
16 years 8 months ago
A Complete and Efficient Algebraic Compiler for XQuery
As XQuery nears standardization, more sophisticated XQuery applications are emerging, which often exploit the entire language and are applied to non-trivial XML sources. We propos...
Christopher Re, Jérôme Siméon,...
SIGSOFT
2008
ACM
16 years 7 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
WWW
2007
ACM
16 years 7 months ago
Acquiring ontological knowledge from query logs
We present a method for acquiring ontological knowledge using search query logs. We first use query logs to identify important contexts associated with terms belonging to a semant...
Satoshi Sekine, Hisami Suzuki