5550 search results - page 629 / 1110 » Different Approaches to Proof Systems |
162
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...
198
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
153
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
— One of the main task to be done by a cognitive receiver is to sense its spectral environment in order to distinguish surrounding systems from each others. Actually most systems...
163
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
205
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...