Sciweavers

9989 search results - page 1686 / 1998
» A CLP Approach to Modelling Systems
Sort
View
JCDL
2005
ACM
95views Education» more  JCDL 2005»
16 years 6 days ago
Resolving the unencoded character problem for chinese digital libraries
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
Derming Juang, Jenq-Haur Wang, Chen-Yu Lai, Ching-...
BMCBI
2006
154views more  BMCBI 2006»
15 years 6 months ago
Agile methods in biomedical software development: a multi-site experience report
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
David W. Kane, Moses M. Hohman, Ethan G. Cerami, M...
LPNMR
2007
Springer
16 years 24 days ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele
CEEMAS
2005
Springer
16 years 6 days ago
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
Ambra Molesini, Enrico Denti, Andrea Omicini
PODC
2004
ACM
16 years 2 days ago
On the design of distributed protocols from differential equations
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
Indranil Gupta
« Prev « First page 1686 / 1998 Last » Next »