Sciweavers

1162 search results - page 191 / 233
» Monotonic Semantic Interpretation
Sort
View
AAMAS
2004
Springer
15 years 11 days ago
Functional Validation in Grid Computing
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...
Guofei Jiang, George Cybenko
114
Voted
LISP
2007
124views more  LISP 2007»
15 years 11 days ago
A new generic scheme for functional logic programming with constraints
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
Francisco Javier López-Fraguas, Mario Rodr&...
110
Voted
ENTCS
2002
78views more  ENTCS 2002»
15 years 9 days ago
Towards ANSI C Program Slicing using XML
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
Katsuhiko Gondow, Hayato Kawashima
SCP
2010
78views more  SCP 2010»
14 years 11 months ago
Scoping strategies for distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
Éric Tanter, Johan Fabry, Rémi Douen...
ICCV
2011
IEEE
14 years 15 days ago
Relative Attributes
Human-nameable visual “attributes” can benefit various recognition tasks. However, existing techniques restrict these properties to categorical labels (for example, a person ...
Devi Parikh, Kristen Grauman