Sciweavers

511 search results - page 31 / 103
» The Economics of International Conferences
Sort
View
71
Voted
HICSS
1999
IEEE
112views Biometrics» more  HICSS 1999»
15 years 2 months ago
The Interoperability Problem: Bringing together Mobile Agents and Agent Communication Languages
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
Yannis Labrou, Timothy W. Finin, Yun Peng
ICSE
1994
IEEE-ACM
15 years 1 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
ICCL
1992
IEEE
15 years 1 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
LREC
2008
134views Education» more  LREC 2008»
14 years 11 months ago
An AI-inspired intelligent agent/student architecture to combine Language Resources research and teaching
This paper describes experimental use of the multi-agent architecture to integrate Natural Language and Information Systems research and teaching, by casting a group of students a...
Bayan Abu Shawar, Eric Atwell
JSAT
2008
83views more  JSAT 2008»
14 years 9 months ago
The First and Second Max-SAT Evaluations
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
Josep Argelich, Chu Min Li, Felip Manyà, Jo...