Sciweavers

1864 search results - page 173 / 373
» Formal topology and domains
Sort
View
SEMWEB
2009
Springer
16 years 1 months ago
Semantic Usage Policies for Web Services
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
Sebastian Speiser
AH
2008
Springer
16 years 26 days ago
Supporting Users in Creating Pedagogically Sound Personalised Learning Objects
Successful eLearning is predicated on the application of pedagogies appropriate to online education that respond to the capabilities and needs of the learners. Typically, designing...
Aoife Brady, Owen Conlan, Vincent Wade, Declan Dag...
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 24 days ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
DIS
2007
Springer
16 years 20 days ago
Literature-Based Discovery by an Enhanced Information Retrieval Model
The massive, ever-growing literature in life science makes it increasingly difficult for individuals to grasp all the information relevant to their interests. Since even experts’...
Kazuhiro Seki, Javed Mostafa
ER
2007
Springer
141views Database» more  ER 2007»
16 years 20 days ago
Ontology-Driven Business Modelling: Improving the Conceptual Representation of the REA Ontology
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
Frederik Gailly, Geert Poels