Sciweavers

911 search results - page 152 / 183
» Prolog and Natural-Language Analysis
Sort
View
MKM
2007
Springer
15 years 3 months ago
Narrative Structure of Mathematical Texts
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
Fairouz Kamareddine, Manuel Maarek, Krzysztof Rete...
MODELS
2007
Springer
15 years 3 months ago
Relating Navigation and Request Routing Models in Web Applications
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
Minmin Han, Christine Hofmeister
MODELS
2007
Springer
15 years 3 months ago
Modeling Time(s)
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
Charles André, Frédéric Malle...
MODELS
2007
Springer
15 years 3 months ago
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
Stefan Christov, Bin Chen, George S. Avrunin, Lori...
MODELS
2007
Springer
15 years 3 months ago
11th International Workshop on Aspect-Oriented Modeling
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
Jörg Kienzle, Jeff Gray, Dominik Stein, Walte...