Sciweavers

4987 search results - page 527 / 998
» Support Ordered Resolution
Sort
View
CP
2007
Springer
16 years 1 months ago
Constraint-Based Temporal Reasoning for E-Learning with LODE
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
Rosella Gennari, Ornella Mich
EMSOFT
2007
Springer
16 years 1 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
ER
2007
Springer
101views Database» more  ER 2007»
16 years 1 months ago
Using Attributed Goal Graphs for Software Component Selection: An Application of Goal-Oriented Analysis to Decision Making
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
Kazuma Yamamoto, Motoshi Saeki
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
16 years 1 months ago
Annotation-Based Document Retrieval with Probabilistic Logics
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
Ingo Frommholz
EUROSPI
2007
Springer
16 years 1 months ago
An Experiment with a Release Planning Method for Web Application Development
Web application development is under certain circumstances such as a strong emphasis on time-to-market characterised by the usage of informal and ad-hoc development practices and a...
Sven Ziemer, Ilaria Canova Calori