Sciweavers

21342 search results - page 131 / 4269
» A Structured Language Model
Sort
View
DATESO
2007
107views Database» more  DATESO 2007»
15 years 4 months ago
Updating Typed XML Documents Using a Functional Data Model
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
Pavel Loupal
IROS
2006
IEEE
165views Robotics» more  IROS 2006»
15 years 8 months ago
Grounded Situation Models for Robots: Where words and percepts meet
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
Nikolaos Mavridis, Deb Roy
137
Voted
CAISE
2003
Springer
15 years 7 months ago
User Roles in Document Analysis
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...
Pasi Tiitinen
167
Voted
ICMT
2011
Springer
14 years 6 months ago
Toward Bidirectionalization of ATL with GRoundTram
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhi...
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 7 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman