Sciweavers

2496 search results - page 411 / 500
» On covering by translates of a set
Sort
View
FORTE
2008
15 years 3 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
PLANX
2008
15 years 3 months ago
Linear Time Membership for a Class of XML Types with Interleaving and Counting
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
SEBD
2008
170views Database» more  SEBD 2008»
15 years 3 months ago
A platform for model-independent solutions to model management problems
Abstract. Model management is a metadata-based approach to database problems aimed at supporting the productivity of developers by providing schema manipulation operators. Here we ...
Paolo Atzeni, Luigi Bellomarini, Francesca Bugiott...
ACL
2006
15 years 3 months ago
A Collaborative Framework for Collecting Thai Unknown Words from the Web
We propose a collaborative framework for collecting Thai unknown words found on Web pages over the Internet. Our main goal is to design and construct a Webbased system which allow...
Choochart Haruechaiyasak, Chatchawal Sangkeettraka...
ECIR
2004
Springer
15 years 3 months ago
Measuring a Cross Language Image Retrieval System
Cross language information retrieval is a field of study that has received significant research attention, resulting in systems that despite the errors of automatic translation (f...
Mark Sanderson, Paul Clough, Catherine Paterson, W...