3780 search results - page 383 / 756 » Structured Relation Discovery using Generative Models |
190
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
220
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
198
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
129
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Recent progresses in ultra low power microelectronics propelled the development of several microsensors and particularly the self powered microsystems (SPMS). One of their limitat...
244
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Designing appropriate machine learning methods for identifying genes that have a significant discriminating power for disease outcomes has become more and more importa...