Sciweavers

4151 search results - page 494 / 831
» Language Driven System Design
Sort
View
191
Voted
ANLP
2000
123views more  ANLP 2000»
15 years 8 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay
234
Voted
DEBU
2002
120views more  DEBU 2002»
15 years 7 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
174
Voted
UM
2010
Springer
15 years 5 months ago
Eye-Tracking Study of User Behavior in Recommender Interfaces
Recommender systems, as a type of Web personalized service to support users’ online product searching, have been widely developed in recent years but with primary emphasis on alg...
Li Chen, Pearl Pu
315
Voted
POPL
2001
ACM
16 years 7 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
215
Voted
GECCO
2009
Springer
166views Optimization» more  GECCO 2009»
16 years 2 months ago
Genetic programming in the wild: evolving unrestricted bytecode
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
Michael Orlov, Moshe Sipper